Titre:
Security Verification of Cryptographic protocols using CASRUL
Conférencier:
Mathieu Turuani ,
Lieu:
Concordia University, Dept. of electrical and computer engineering ,
Room H961-26
Date et heure:
jeudi le 10 janvier 2002 de
09:30 à 11:30
Résumé: We present CASRUL, a compiler for cryptographic protocols specifications. Its purpose is to verify the executability of protocols and to translate them into rewrite rules that can be used by several kinds of automatic or semi-automatic tools for finding design flaws. We also present a related complexity results concerning the protocol insecurity problem for a finite number of sessions. We show the application of this system to find security flaws (or prove the security of) several protocols like a fragment of SET, a complex protocol designed for e-commerce.