Verifying the SET Purchase Protocols

Author： Bella Giampaolo Massacci Fabio Paulson Lawrence

ISSN： 0168-7433

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

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 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

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

Verifying identical communicating processes is undecidable

By Finkel A. McKenzie P.

Theoretical Computer Science, Vol. 174, Iss. 1, 1997-03 ,pp. : 217-230

Elsevier

Access to resources Recommend Favorite

Accountability services for verifying compliance in the cloud

By Yao Jinhui

International Journal of Cloud Computing, Vol. 1, Iss. 2-3, 2012-05 ,pp. : 240-260

Inderscience Publishers

Access to resources Recommend Favorite