D. Bolignano. Formal verification of cryptographic protocols using Coq. Technical report, INRIA-Rocquencourt, 1996. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Proving Properties of Security Protocols by Induction - Paulson (1997) (124 citations) (Correct)
....analysis. His reduction relations for sets of messages are plainly related to my operators parts, analz and synth. Instead of formalizing traces, he precisely models the states of A, B and the spy, though the effect is similar. He has proved theorems concerning the OtwayRees protocol using Coq [7]. The inductive approach is a valuable addition to the protocol analyzer s toolkit. A combination of tools may yield the best results. Using a belief logic during the design phase helps ensure freshness properties. Using a model checker can find simple attacks quickly. Finally, the inductive ....
D. Bolignano. Formal verification of cryptographic protocols using Coq. Technical report, INRIA-Rocquencourt, 1996.
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