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

Author： Gollmann D.  

Publisher： Elsevier

ISSN： 1571-0661

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

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

Deductive verification of cryptographic software

By Almeida José  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 203-218

Springer Publishing Company

Access to resources Recommend Favorite

Abstracting cryptographic protocols with tree automata

By Monniaux D.  

Science of Computer Programming, Vol. 47, Iss. 2, 2003-05 ,pp. : 177-202

Elsevier

Access to resources Recommend Favorite

Formal verification of dependable distributed protocols

By Sinha P.   Ren D.Q.  

Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. : 873-888

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