SPDL: Removing obsolete constructs from SPDL file.

This commit is contained in:
Cas Cremers 2012-03-22 10:53:03 +01:00
parent 6ed32d0f4c
commit d348736c87

View File

@ -2,12 +2,6 @@
* Needham-Schroeder protocol
*/
// PKI infrastructure
const pk: Function;
secret sk: Function;
inversekeys (pk,sk);
// The protocol description
protocol ns3(I,R)
@ -43,9 +37,3 @@ protocol ns3(I,R)
}
}
// An untrusted agent, with leaked information
const Eve: Agent;
untrusted Eve;
compromised sk(Eve);