Document Preview

Formal analysis and verification of password protocols

Malladi, Sreekanth.   University of Idaho ProQuest Dissertations Publishing,  2004. 3138257.