andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Forgot to update wmf to the ExpiredTimeStamp

Browse Source
This commit is contained in:
gijs 2005-08-12 13:24:00 +00:00
parent 2e9e43742e
commit 5a027cc00a
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
spdl/SPORE/wmf.spdl
View File

@ -10,6 +10,7 @@
usertype SessionKey;
usertype TimeStamp;
usertype ExpiredTimeStamp;
secret k: Function;
const Fresh: Function;
@ -22,7 +23,7 @@ protocol wmfSessionKeyCompromise(C)
role C {
const Ni,Nr: Nonce;
const Kir: SessionKey;
const Ti,Ts: TimeStamp;
const Ti,Ts: ExpiredTimeStamp;
var I,R,S: Agent;
read_C1(C,C, I,R,S);