Automatic validation of secure authentication protocols

Access full-text files

kimk036.pdf (871.49 KB)

Date

2003-08

Authors

Kim, Kyoil, 1964-

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Department

Electrical and Computer Engineering

Description

text

Keywords

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

LCSH Subject Headings

Citation

URI

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

Collections

UT Electronic Theses and Dissertations