Towards Automatic Verification of Authentication Protocols on an Unbounded Network.

Journal article

Open access

J Heather and S Schneider

CSFW'00, pp.132-143

IEEE Computer Security Foundations Workshop

2000

Abstract

pdf

fulltext331.42 kBDownload View

Text Open Access

url

http://www.computer.org/proceedings/csfw/0671/06710132abs.htmView

218 File views/ downloads

36 Record Views

Title: Towards Automatic Verification of Authentication Protocols on an Unbounded Network.
Creators: J Heather
S Schneider
Contributors: IEEE Press (null)
Publication Details: CSFW'00, pp.132-143
Event: IEEE Computer Security Foundations Workshop
Date published: 2000
Date submitted: 27/05/2010
Identifiers: 99512637902346
Academic Unit: Department of Computer Science
Resource Type: Journal article