Return to search

Finite-state analysis of security protocols

Thesis (Ph.D)--Stanford University, 2000. / Title from pdf t.p. (viewed Mar. 27, 2002). "May 2000." "Adminitrivia V1/Prg/20000602"--Metadata.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/123278366
Date January 1900
CreatorsShmatikov, Vitaly.
Publisher[Stanford, Calif. : Stanford University,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0023 seconds