Relations between secrets: two formal analyses of the Yahalom protocol

ISSN： 0926-227X

Source： Journal of Computer Security, Vol.9, Iss.3, 2001-01, pp. : 197-216

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

Formal verification of a leader election protocol in process algebra

By Fredlund L.-a. Groote J.F. Korver H.

Theoretical Computer Science, Vol. 177, Iss. 2, 1997-05 ,pp. : 459-486

Elsevier

Access to resources Recommend Favorite

Formal change impact analyses for emulated control software

By Fidge C.

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 321-335

Springer Publishing Company

Access to resources Recommend Favorite

Towards formal analysis of wireless LAN security with MIS protocol

By You Ilsun Hori Yoshiaki Sakurai Kouichi

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 7, Iss. 2, 2011-03 ,pp. : 112-120

Inderscience Publishers

Access to resources Recommend Favorite

Formal security analysis of Ariadne secure routing protocol using model checking

By Onem E. Gü A. Burak Ç M. Ufuk

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 9, Iss. 1, 2012-02 ,pp. : 12-24

Inderscience Publishers

Access to resources Recommend Favorite

Two-Way Protocol with Imperfect Devices

By Lucamarini Marco Ceré Alessandro Giuseppe Giovanni Mancini Stefano Vitali David Tombesi Paolo

Open Systems and Information Dynamics, Vol. 14, Iss. 2, 2007-06 ,pp. : 169-178

Springer Publishing Company

Access to resources Recommend Favorite