sylv/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
c330a5b7192885eb63e713dc90e81f95196b01c3
scyther/spdl/SPORE
History
gijs 0f54f2ed23 - Update modeling of needham schroeder to better reflect the modelling in 
SPORE:
    - pk is not known to all agents, only pk(Simon) is known
- Use new naming convention:
    - Protocol name starting with an @ means internal protocol
    - For non internal protocols naming is as follows:
      protocolname-variant^subprotocol
    For example: yahalom-Lowe^KeyCompromise meaning the key compromise sub
    protocol of the Lowe variant of the Yahalom protocol.
2005-08-15 13:31:48 +00:00
..
key-compromise
- Add Compromised claim to test my new definition of freshness in combination
2005-06-23 12:49:34 +00:00
andrew-ban-concrete.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
andrew-ban.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
andrew-lowe-ban.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
andrew.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
ccitt509-1.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
ccitt509-1c.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
ccitt509-3.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
ccitt509-ban3.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
denning-sacco-lowe.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
denning-sacco.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
kaochow-v2.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
kaochow-v3.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
kaochow.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
ksl-lowe.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
ksl.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
needham-schroeder-lowe.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
needham-schroeder-sk-amend.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
needham-schroeder-sk.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
needham-schroeder.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
neumannstub-hwang.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
neumannstub.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
NotModelled.txt
- Adding otway rees and smart right protocols
2005-05-17 14:01:48 +00:00
otwayrees.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
smartright.spdl
Update SPORE protocols to use new ticket mechanism:
2005-06-02 12:41:24 +00:00
splice-as-cj.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
splice-as-hc.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
splice-as.spdl
Replaced all tabs by spaces.
2005-05-23 12:35:58 +00:00
tmn.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
wmf-lowe.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
wmf.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
woo-lam-pi-1.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
woo-lam-pi-2.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
woo-lam-pi-3.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
woo-lam-pi-f.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +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 modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
yahalom-ban.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
yahalom-lowe.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
yahalom-paulson.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00
yahalom.spdl
- Update modeling of needham schroeder to better reflect the modelling in
2005-08-15 13:31:48 +00:00