2011 | OriginalPaper | Chapter
Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols
Authors : Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel
Published in: Automated Technology for Verification and Analysis
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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 S
pi
CA2 based on the algorithm, and confirmed its effectiveness.