Verifying security protocols by knowledge analysis

ISSN： 1747-8405

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

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 Compliance with Commitment Protocols

By Venkatraman M.

Autonomous Agents and Multi-Agent Systems, Vol. 2, Iss. 3, 1999-09 ,pp. : 217-236

Springer Publishing Company

Access to resources Recommend Favorite

Verifying the SET Purchase Protocols

By Bella Giampaolo Massacci Fabio Paulson Lawrence

Journal of Automated Reasoning, Vol. 36, Iss. 1-2, 2006-01 ,pp. : 5-37

Springer Publishing Company

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

Strategy for Verifying Security Protocols with Unbounded Message Size: Special Section on Automated Verification of Infinite-State Systems

By Chevalier Y.

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 141-166

Springer Publishing Company

Access to resources Recommend Favorite

A calculus for control flow analysis of security protocols

By Buchholtz Mikael Riis Nielson Hanne Nielson Flemming

International Journal of Information Security (IJIS), Vol. 2, Iss. 3-4, 2004-08 ,pp. : 145-167

Springer Publishing Company

Access to resources Recommend Favorite