Burrows–Abadi–Needham logic - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2006-10-21 23:23:16 Cryptography Fault-tolerant computer systems Inter-process communication Public-key cryptography Burrows–Abadi–Needham logic Epistemic modal logic Modal logic Communications protocol Consensus Computing Logic Information		Add to Reading List Source URL: alloy.mit.edu Download Document from Source Website File Size: 191,85 KB Share Document on Facebook

	Fast Automatic Security Protocol Generation Hongbin Zhou Simon N. Foley∗ Department of Computer Science University College, Cork, Ireland {zhou,s.foley}@cs.ucc.ie DocID: 18vF5 - View Document
	A Collaborative Approach to Autonomic Security Protocols Hongbin Zhou Department of Computer Science University College, Cork Cork, Ireland DocID: 18kpx - View Document
	Journal of Computer Security–721 IOS Press 677 A compositional logic for proving security properties of DocID: 15I1e - View Document
	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. DocID: 15Blo - View Document
	Belief Change and Cryptographic Protocol Verification Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca DocID: 15fhp - View Document