Dekker, Anthony H., C3PO: a Tool for Automatic Sound Cryptographic Protocol Analysis, Proceedings of 13th IEEE Computer Security Foundations Workshop, Cambridge, England, July 3--5, 2000. Available electronically at http://www.acm.org/~dekker/c3po.pdf. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
A Category-Theoretic Approach to Social Network Analysis - Dekker (2001) (Correct)
The Logic of Authentication Protocols - Syverson, Cervesato (2001) (8 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC