Books
Short works
- Using CSP to detect insertion and evasion possibilities within the intrusion detection area. 2003. (In Formal Aspects of Security )
Books : reviews
Peter Y. A. Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe, A. W. Roscoe.
The Modelling and Analysis of Security Protocols: the CSP approach.
Addison Wesley. 2001