A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

@misc{pub8065,
    author = {

Cheikhrouhou, Lassaad
 and 

Stephan, Werner
 and 

Ullmann, Markus
},
    editor = {

Kosta, Marek
 and 

Sturm, Thomas
},
    title = {A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras},
    year = {2013},
    volume = {Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences}
}