Abstract Interpretation for Proving Secrecy Properties in Security Protocols

Publisher： Elsevier

ISSN： 1571-0661

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

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

Instruction-level security typing by abstract interpretation

By Francesco Nicoletta Martini Luca

International Journal of Information Security (IJIS), Vol. 6, Iss. 2-3, 2007-03 ,pp. : 85-106

Springer Publishing Company

Access to resources Recommend Favorite

Proving possibility properties

By Lamport L.

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 341-352

Elsevier

Access to resources Recommend Favorite

E-mail protocols with perfect forward secrecy

By Wong Duncan S. Tian Xiaojian

International Journal of Security and Networks, Vol. 7, Iss. 1, 2012-08 ,pp. : 1-5

Inderscience Publishers

Access to resources Recommend Favorite

Safely composing security protocols

By Cortier Véronique Delaune Stéphanie

Formal Methods in System Design, Vol. 34, Iss. 1, 2009-02 ,pp. : 1-36

Springer Publishing Company

Access to resources Recommend Favorite

Verifying security protocols by knowledge analysis

By Ma Xiaoqi Cheng Xiaochun

International Journal of Security and Networks, Vol. 3, Iss. 3, 2008-08 ,pp. : 183-192

Inderscience Publishers

Access to resources Recommend Favorite