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

  title={The Perfect ` ` Spy ' ' for Model-Checking Cryptoprotocols},
  author={A. W. Roscoe and M. H. Goldsmith},
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.


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

Similar Papers

Loading similar papers…