scyther/spdl/SPORE
gijs ba47af0c42 - Test out a possible way to model key compromise:
Add a role that sends out all messages that would occur in a legit
  run of the protocol including the session key (simulating a previously
  recorded run with its compromised session key)

- Adding a directory to play around with key compromise
2005-06-14 13:51:51 +00:00
..
key-compromise - Test out a possible way to model key compromise: 2005-06-14 13:51:51 +00:00
andrew-ban-concrete.spdl - Add a dummy role in andrew-ban-concrete to work around the key symmetry 2005-06-14 12:24:42 +00:00
andrew-ban.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
andrew-lowe-ban.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
andrew.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
ccitt509-1.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
ccitt509-1c.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
ccitt509-3.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
ccitt509-ban3.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
denning-sacco-lowe.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
denning-sacco.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
kaochow-v2.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
kaochow-v3.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
kaochow.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
ksl-lowe.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
ksl.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
needham-schroeder-lowe.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
needham-schroeder-sk-amend.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
needham-schroeder-sk.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
needham-schroeder.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
neumannstub-hwang.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
neumannstub.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
NotModelled.txt - Adding otway rees and smart right protocols 2005-05-17 14:01:48 +00:00
otwayrees.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
smartright.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
splice-as-cj.spdl - Add a dummy role in andrew-ban-concrete to work around the key symmetry 2005-06-14 12:24:42 +00:00
splice-as-hc.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
splice-as.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
tmn.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
wmf-lowe.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
wmf.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
woo-lam-pi-1.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
woo-lam-pi-2.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
woo-lam-pi-3.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
woo-lam-pi-f.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
woo-lam-pi.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
woo-lam.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
yahalom-ban.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
yahalom-lowe.spdl Replaced all tabs by spaces. 2005-05-23 12:35:58 +00:00
yahalom-paulson.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00
yahalom.spdl Update SPORE protocols to use new ticket mechanism: 2005-06-02 12:41:24 +00:00