TY  - SER
AU  - Schneider, Steve
TI  - Verifying Authentication Protocols in Csp
KW  - Authentication
KW  - Security Protocols
KW  - Csp
ER  -