Return to search

Message dependence and formal verification of authentication protocols

Thesis (Ph.D.)--Indiana University, Dept. of Mathematics, 2004. / Title from PDF t.p. (viewed Dec. 2, 2008). Source: Dissertation Abstracts International, Volume: 66-01, Section: B, page: 0373. Chair: Lawrence S. Moss.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/276839935
Date January 2004
CreatorsQian, Lei,
Publisher[Bloomington, Ind.] : Indiana University,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0019 seconds