Publication
A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras
Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann
MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences, 2013.
Abstract
extended abstract