Type-Based Automated Verification Of Authenticity In Asymmetric Cryptographic Protocols
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis（2011）
摘要
Gordon and Jeffrey developed a type system for verification of asymmetric and symmetric cryptographic protocols. We propose a modified version of Gordon and Jeffrey's type system and develop a type inference algorithm for it, so that protocols can be verified automatically as they are, without any type annotations or explicit type casts. We have implemented a protocol verifier SPICA2 based on the algorithm, and confirmed its effectiveness.
更多查看译文
关键词
type system,explicit type,type annotation,type inference algorithm,modified version,protocol verifier SPICA2,symmetric cryptographic protocol,Type-based automated verification,asymmetric cryptographic protocol
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要