Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2009. / Thesis Advisor(s): Herzog, Jonathan. "June 2009." Description based on title screen as viewed on 14 July 2009. Author(s) subject terms: Automatic protocol generation; protocol analysis; security protocols; cryptographic protocols; key-exchange protocols; authentication protocols; protocol verification. Includes bibliographical references (p. 131-134). Also available in print.
| Identifer | oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/424609661 |
| Date | January 2009 |
| Creators | Skaff, Stephanie J. C. |
| Publisher | Monterey, Calif. : Naval Postgraduate School, |
| Source Sets | OCLC |
| Language | English |
| Detected Language | English |
| Source | (413 KB) |
Page generated in 0.0014 seconds