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

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

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

An algebra for commitment protocols

By Mallya Ashok  

Autonomous Agents and Multi-Agent Systems, Vol. 14, Iss. 2, 2007-04 ,pp. : 143-163

Springer Publishing Company

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