Automatic validation of secure authentication protocols
dc.contributor.advisor | Abraham, Jacob A. | en |
dc.creator | Kim, Kyoil, 1964- | en |
dc.date.accessioned | 2011-07-11T18:09:17Z | en |
dc.date.accessioned | 2017-05-11T22:22:37Z | |
dc.date.available | 2011-07-11T18:09:17Z | en |
dc.date.available | 2017-05-11T22:22:37Z | |
dc.date.issued | 2003-08 | en |
dc.description | text | en |
dc.description.department | Electrical and Computer Engineering | en |
dc.format.medium | electronic | en |
dc.identifier.uri | http://hdl.handle.net/2152/12199 | en |
dc.language.iso | eng | en |
dc.rights | Copyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works. | en |
dc.rights.restriction | Restricted | en |
dc.subject | Computer networks--Security measures | en |
dc.subject | Computer network protocols | en |
dc.subject | Computer security | en |
dc.title | Automatic validation of secure authentication protocols | en |