Formal Derivation of Security Protocols Download Presented as part of the 2004 HCSS conference. Tags: Stanford University Academia Presentation HCSS '04 HCSS 2004 License: CC-2.5 Submitted by Anupam Datta on Wed, 08/24/2011 - 18:35
