Safely composing security protocols

Author： Cortier Véronique   Delaune Stéphanie  

Publisher： Springer Publishing Company

ISSN： 0925-9856

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

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

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

Analysis of security protocols as open systems

By Martinelli F.  

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 1057-1106

Elsevier

Access to resources Recommend Favorite

Critical Evaluation of RFID Security Protocols

By  

International Journal of Information Security and Privacy (IJISP), Vol. 6, Iss. 3, 2012-07 ,pp. : 56-74

IGI Global_journal

Access to resources Recommend Favorite

XML-based security for JXTA core protocols

By Arnedo-Moreno Joan  

International Journal of Autonomic Computing, Vol. 1, Iss. 4, 2010-12 ,pp. : 447-469

Inderscience Publishers

Access to resources Recommend Favorite

Abstract Interpretation for Proving Secrecy Properties in Security Protocols

By Adi K.   Debbabi M.  

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

Elsevier

Access to resources Recommend Favorite