The Perfect ` ` Spy ' ' for Model-Checking Cryptoprotocols

@inproceedings{Roscoe2004TheP,
  title={The Perfect ` ` Spy ' ' for Model-Checking Cryptoprotocols},
  author={A. W. Roscoe and M. H. Goldsmith},
  year={2004}
}
This paper describes the modeling of a fully potent attacker against cryptoprotocols, including its inference system, in the process algebra CSP. Techniques for keeping the state space within practical bounds for the model checker FDR2 are explained. 
Highly Cited
This paper has 44 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 27 extracted citations

Similar Papers

Loading similar papers…