On the Verification of Cryptographic Protocols - A Tale of Two Committees

By Gollmann D.  

Electronic Notes in Theoretical Computer Science, Vol. 32, Iss. 1, 2004-01 ,pp. : 1-17

Elsevier

Access to resources Recommend Favorite

Attack trace generation of cryptographic protocols based on coloured Petri nets model

By Bai Yunli  

International Journal of Wireless and Mobile Computing, Vol. 6, Iss. 1, 2013-04 ,pp. : 91-97

Inderscience Publishers

Access to resources Recommend Favorite

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

By Meseguer José  

LISP and Symbolic Computation, Vol. 20, Iss. 1-2, 2007-06 ,pp. : 123-160

Springer Publishing Company

Access to resources Recommend Favorite

On ground tree transformations and congruences induced by tree automata

By Vagvolgyi S.  

Theoretical Computer Science, Vol. 304, Iss. 1, 2003-07 ,pp. : 449-459

Elsevier

Access to resources Recommend Favorite

Compiling CSPs into Tree-Driven Automata for Interactive Solving

By Fargier Hélène   Vilarem Marie-Catherine  

Constraints, Vol. 9, Iss. 4, 2004-10 ,pp. : 263-287

Springer Publishing Company

Access to resources Recommend Favorite