A Derivation System for Security Protocols and its Logical Formalization Anupam Datta John C. Mitchell - John Mitchell - Document - PDFSEARCH.IO

First Page	Meta Content
	A Derivation System for Security Protocols and its Logical Formalization Anupam Datta John C. Mitchell Add to Reading List Document Date: 2010-07-17 01:14:10 Open Document File Size: 327,60 KB Share Result on Facebook IndustryTerm sub-protocols / security protocols / / OperatingSystem DoS / / Organization Stanford University / / Person Anupam Datta John / John C. Mitchell / C. Mitchell Ante Derek Dusko Pavlovic / / Technology IPSec key exchange protocol / 3 protocol / Build security protocols / / SocialTag Information Internet Key Exchange Challenge-response authentication Diffie–Hellman key exchange IPsec Cryptographic protocols Cryptography Data

A Derivation System for Security Protocols and its Logical Formalization Anupam Datta John C. MitchellAdd to Reading List