Scyther
1 program
Added 2026-03-13T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: SPDL
Provenance: commit 96cbcc4f35 · authored 2026-03-13T01:30:31+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Needham-Schroeder-Lowe Protocol
Provenance: commit 96cbcc4f35 · authored 2026-03-13T01:30:31+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
// Needham-Schroeder-Lowe Public Key Protocol
// Verified using the Scyther tool
protocol nsl(I, R)
{
role I
{
fresh ni: Nonce;
var nr: Nonce;
send_1(I, R, {ni, I}pk(R));
recv_2(I, R, {ni, nr, R}pk(I));
send_3(I, R, {nr}pk(R));
claim(I, Secret, ni);
claim(I, Secret, nr);
claim(I, Alive);
claim(I, Weakagree);
}
role R
{
var ni: Nonce;
fresh nr: Nonce;
recv_1(I, R, {ni, I}pk(R));
send_2(I, R, {ni, nr, R}pk(I));
recv_3(I, R, {nr}pk(R));
claim(R, Secret, nr);
claim(R, Alive);
claim(R, Weakagree);
}
}