SPEC

MaRDI QIDQ32424swMATHFDO

Official website http://users.cecs.anu.edu.au/~tiu/spec/

Described by source

• SPEC: an equivalence checker for security protocols

Cited in

(28)

• SIGREF
• BISIMULATOR
• M-TREE
• YAPA
• MWB
• FAST
• APNN-Toolbox
• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
• Bedwyr
• scyther
• TVT
• Mechanized metatheory revisited
• fc2tools
• Concurrency Workbench
• Eliom
• AUSPICE-R
• Akkaprof
• BPGen
• Mec 5
• Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings
• Apte
• Akiss
• VERSA
• Gopherlyzer
• mCRL
• Discovering ePassport vulnerabilities using bisimilarity
• A characterisation of open bisimilarity using an intuitionistic modal logic
• A reduced semantics for deciding trace equivalence

This page was built for software: SPEC