The modelling and analysis of security protocols: the csp approach

By Peter Y. A. Ryan, Steve A. Schneider. 2000

315 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/641efac53a304a874fa0a88b334ecedb548d7cab

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Wenbo Mao
2. Andreas S. Spanias

Citations in the corpus

• Modern Cryptography: Theory and Practice (2003, background): “It is this feature of CSP that has inspired some researchers to argue for its suitability for formal analysis of authentication protocols [249, 253, 250].”