Towards Extensional Goals in Authentication Protocols

Towards Extensional Goals in Authentication Protocols (1997)

by Colin Boyd

Venue:	In Proceedings of the 1997 DIMACS Workshop on Design and Formal Verification of Security Protocols
Citations:	11 - 0 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Towards Extensional Goals in Authentication Protocols	user correction - Legacy Corrections
AUTHOR NAME	Colin Boyd	SVM HeaderParse 0.1
AUTHOR AFFIL	Information Security Research Centre; School of Data Communications; Queensland University of Technology	SVM HeaderParse 0.2
AUTHOR ADDR	Brisbane Q4001; AUSTRALIA	SVM HeaderParse 0.1
ABSTRACT	The importance of clarifying the goals of a cryptographic protocol is widely recognised. The majority of authors have addressed intensional goals which are concerned with correct operation within the protocol itself. Extensional goals are properties independent of the protocol and define what the protocol is designed to achieve. This paper reviews the previous literature on goals in protocols and classifies them as intensional or extensional goals. A hierarchy of extensional protocol goals is proposed which includes the major proposed goals for key establishment. It is shown how these extensional goals can be exploited to motivate design of entity authentication protocols.	user correction - Legacy Corrections
YEAR	1997	INFERENCE
VENUE	In Proceedings of the 1997 DIMACS Workshop on Design and Formal Verification of Security Protocols	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	9--7	INFERENCE
CITATIONS	32 found	ParsCit 1.0