Automatic validation of secure authentication protocols

Date

2003-08

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

text

Keywords

Computer networks--Security measures, Computer network protocols, Computer security

Citation

URI

http://hdl.handle.net/2152/12199

Collections

University of Texas at Austin