Type-Based Automated Verification of Authenticity in Cryptographic Protocols


Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the type checking problem, but protocols must be manually annotated with non-trivial types and effects. To automate the verification of cryptographic protocols, we modify Gordon and… (More)
DOI: 10.1007/978-3-642-00590-9_17


4 Figures and Tables