Security Verification of Real-Time Cryptographic Protocols Using a Rewriting Approach

摘要

A computational model for security verification of cryptographic protocols is proposed. Until most recently, se- curity verification of cryptographic protocols was left to the pro- tocol designers' experience an heuristics. Though some formal verification methods have been proposed for this purpose, they are still insufficient for the verification of practical real-time cryp- tographic protocols. In this paper we propose a new formalism based on a term rewriting system approach that we have devel- oped.