Modelling Cryptographic Protocols in a Theory of Action James P. Delgrande and Torsten Grote and Aaron Hunter School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6.

First Page		Document Content
Date: 2010-05-31 18:52:04 Cryptographic protocols Computing Burrows–Abadi–Needham logic Cryptographic nonce Challenge-response authentication Communications protocol Transmission Control Protocol Otway–Rees protocol Cryptography Data Information		Modelling Cryptographic Protocols in a Theory of Action James P. Delgrande and Torsten Grote and Aaron Hunter School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6. Add to Reading List Source URL: www.cs.sfu.ca Download Document from Source Website File Size: 130,47 KB Share Document on Facebook

	Communications Protocol Category: Number: Audience: Issued: Owner: DocID: 1vcl7 - View Document
	Amateur Radio Continuous Wave Communications Protocol (CW ~ Morse Code) History and Application Tutorial DocID: 1uYVU - View Document
	Florida Department of Transportation (FDOT) Actuated Traffic Signal Controller (ASC) Management Information Base (MIB) and National Transportation Communications for ITS (Intelligent Transportation Systems) Protocol (NTC DocID: 1ufnI - View Document
	Commercial in Confidence EVK LoRes Serial Communications Protocol DocID: 1u5IT - View Document
	MindSet Communications Protocol June 28, 2010 e NeuroSky product families consist of hardware and software components for simple integration of this biosensor technology into consumer and industrial end-applications. DocID: 1tL86 - View Document