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

First Page		Document Content
Date: 2010-07-17 01:14:10		A Derivation System for Security Protocols and its Logical Formalization Anupam Datta John C. Mitchell Add to Reading List Source URL: seclab.stanford.edu Download Document from Source Website File Size: 327,60 KB Share Document on Facebook