Modular Security Proofs for Key Agreement Protocols Caroline Kudla? and Kenneth G. Paterson Information Security Group Royal Holloway, University of London, UK {c.j.kudla,kenny.paterson - Modular group - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2005-08-23 12:50:20		Modular Security Proofs for Key Agreement Protocols Caroline Kudla? and Kenneth G. Paterson Information Security Group Royal Holloway, University of London, UK {c.j.kudla,kenny.paterson}@rhul.ac.uk Add to Reading List Source URL: www.isg.rhul.ac.uk Download Document from Source Website File Size: 216,45 KB Share Document on Facebook