Typing correspondence assertions for com
β
Andrew D Gordon; Alan Jeffrey
π
Article
π
2003
π
Elsevier Science
π
English
β 329 KB
Woo and Lam propose correspondence assertions for specifying authenticity properties of security protocols. Prior work on checking correspondence assertions depends on model-checking and is limited to ΓΏnite-state systems. We propose a dependent type and e ect system for checking correspondence asser