Steve Brackin. A Highly Effective Logic for Automatically Analysing Cryptographic Protocols. Technical Report 99023, Arca Systems, Exodus Communications, May 1999. 165 Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Metaheuristic Search as a Cryptological Tool - Clark (2002) (Correct)
No context found.
Steve Brackin. A Highly Effective Logic for Automatically Analysing Cryptographic Protocols. Technical Report 99023, Arca Systems, Exodus Communications, May 1999. 165
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