TY  - RPRT
TI  - Toward Synthesis, Analysis, and Certification of Security Protocols
AU  - Schumann, Johann
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040084560
ID  - 20040084560
ER  -