Skip to content

Latest commit

 

History

History

testing

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
compositionality-examples
compositionality-examples
 
 
ffgg_n
ffgg_n
 
 
tls
tls
 
 
2r890-ex3-a.spdl
2r890-ex3-a.spdl
 
 
2r890-ex3-b.spdl
2r890-ex3-b.spdl
 
 
README.txt
README.txt
 
 
andrew-ban.spdl
andrew-ban.spdl
 
 
andrew-lowe-ban.spdl
andrew-lowe-ban.spdl
 
 
athena-breaker.spdl
athena-breaker.spdl
 
 
bke-broken.spdl
bke-broken.spdl
 
 
bke-one.spdl
bke-one.spdl
 
 
bke-variation.spdl
bke-variation.spdl
 
 
bke.spdl
bke.spdl
 
 
bkepk-ce.spdl
bkepk-ce.spdl
 
 
bkepk-ce2.spdl
bkepk-ce2.spdl
 
 
boyd-nsl-fix.spdl
boyd-nsl-fix.spdl
 
 
boyd.spdl
boyd.spdl
 
 
broken1.spdl
broken1.spdl
 
 
bunava-1-3.spdl
bunava-1-3.spdl
 
 
bunava-1-4.spdl
bunava-1-4.spdl
 
 
bunava-2-3.spdl
bunava-2-3.spdl
 
 
bunava-2-4.spdl
bunava-2-4.spdl
 
 
carkey-broken-limited.spdl
carkey-broken-limited.spdl
 
 
carkey-broken.spdl
carkey-broken.spdl
 
 
carkey-ni.spdl
carkey-ni.spdl
 
 
carkey-ni2.spdl
carkey-ni2.spdl
 
 
ccitt509-ban.spdl
ccitt509-ban.spdl
 
 
denning-sacco-shared.spdl
denning-sacco-shared.spdl
 
 
f4.spdl
f4.spdl
 
 
f5.spdl
f5.spdl
 
 
five-run-bound.spdl
five-run-bound.spdl
 
 
fourway-HSDDM05.cpp
fourway-HSDDM05.cpp
 
 
fourway-HSDDM05.spdl
fourway-HSDDM05.spdl
 
 
gong-nonce-b.spdl
gong-nonce-b.spdl
 
 
gong-nonce.spdl
gong-nonce.spdl
 
 
helloworld.spdl
helloworld.spdl
 
 
ibe-ns.spdl
ibe-ns.spdl
 
 
ibe.spdl
ibe.spdl
 
 
isoiec11770-2-13.spdl
isoiec11770-2-13.spdl
 
 
kaochow-palm.spdl
kaochow-palm.spdl
 
 
kaochow-v2.spdl
kaochow-v2.spdl
 
 
kaochow-v3.spdl
kaochow-v3.spdl
 
 
kaochow.spdl
kaochow.spdl
 
 
kerberos-rddm.spdl
kerberos-rddm.spdl
 
 
ksl.spdl
ksl.spdl
 
 
localclaims-breaker.spdl
localclaims-breaker.spdl
 
 
localclaims-seq1.spdl
localclaims-seq1.spdl
 
 
localclaims.spdl
localclaims.spdl
 
 
ns-symmetric-amended.spdl
ns-symmetric-amended.spdl
 
 
ns-symmetric.spdl
ns-symmetric.spdl
 
 
ns3-brutus.spdl
ns3-brutus.spdl
 
 
ns3.spdl
ns3.spdl
 
 
nsl3-nisynch-rep.spdl
nsl3-nisynch-rep.spdl
 
 
nsl3.spdl
nsl3.spdl
 
 
nst1.spdl
nst1.spdl
 
 
nst2.spdl
nst2.spdl
 
 
onetrace.spdl
onetrace.spdl
 
 
otwayrees.spdl
otwayrees.spdl
 
 
protocol-list.txt
protocol-list.txt
 
 
samasc-broken.spdl
samasc-broken.spdl
 
 
simplest.spdl
simplest.spdl
 
 
soph-keyexch.spdl
soph-keyexch.spdl
 
 
soph.spdl
soph.spdl
 
 
spdl-defaults.inc
spdl-defaults.inc
 
 
spdl-intruder.inc
spdl-intruder.inc
 
 
speedtest.spdl
speedtest.spdl
 
 
splice-as-hc-cj.spdl
splice-as-hc-cj.spdl
 
 
splice-as-hc.spdl
splice-as-hc.spdl
 
 
splice-as.spdl
splice-as.spdl
 
 
tmn-Gijs.spdl
tmn-Gijs.spdl
 
 
tmn.spdl
tmn.spdl
 
 
unknown2.spdl
unknown2.spdl
 
 
wmf-brutus.spdl
wmf-brutus.spdl
 
 
woolam-cmv.spdl
woolam-cmv.spdl
 
 
woolam-pi-f.spdl
woolam-pi-f.spdl
 
 
yahalom-ban.spdl
yahalom-ban.spdl
 
 
yahalom-lowe.spdl
yahalom-lowe.spdl
 
 
yahalom-paulson.spdl
yahalom-paulson.spdl
 
 

README.txt

The protocols in this directory are experimental and are not considered
to be stable in any way. Therefore, they should not be used as reference
models for experimenting with Scyther. Rather, use the protocols in
[../gui/Protocols] .