• Citer

A Game Approach to the Verification of Exchange Protocols: Application to Non-Repudiation Protocols

par Kremer, Steve ;Raskin, Jean-François
Référence WIST’00(Genève), Proceedings of the IFIP Working Group on “Theoretical Foundations of Security Analysis and Design 2000”, page (6p.)
Publication Publié, 2000-07

Publication dans des actes

• Détails

Titre:	A Game Approach to the Verification of Exchange Protocols: Application to Non-Repudiation Protocols
Auteur:	Kremer, Steve; Raskin, Jean-François
Informations sur la publication:	WIST’00(Genève), Proceedings of the IFIP Working Group on “Theoretical Foundations of Security Analysis and Design 2000”, page (6p.)
Statut de publication:	Publié, 2000-07
Sujet CREF:	Informatique mathématique
Langue:	Anglais