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 Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences 2013.


extended abstract

ext-abstr-pace-macis2013.pdf (pdf, 116 KB)

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz