Type-Based Automated Verification of Authenticity in Cryptographic Protocols

Abstract

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

Topics

4 Figures and Tables