Steel, G., "Discovering Attacks on Security Protocols by Refuting Incorrect Inductive Conjectures," Ph.D. thesis, University of Edinburgh (2004), electronic copy available on request from the author: graham.steel@ed.ac.uk. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Visualising First-Order Proof Search - Steel (2005) Self-citation (Steel) (Correct)
No context found.
Steel, G., "Discovering Attacks on Security Protocols by Refuting Incorrect Inductive Conjectures," Ph.D. thesis, University of Edinburgh (2004), electronic copy available on request from the author: graham.steel@ed.ac.uk.
Attacking Group Protocols - Steel, BUndy (2005) Self-citation (Steel) (Correct)
No context found.
Steel, G.: 2004, `Discovering Attacks on Security Protocols by Refuting Incorrect Inductive Conjectures'. Ph.D. thesis, University of Edinburgh. Electronic copy available on request from the author: graham.steel@ed.ac.uk.
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