First Page | Document Content | |
---|---|---|
Date: 2012-10-01 07:25:55 | A Computationally Sound Mechanized Prover for Cryptographic Protocols Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure, ParisAdd to Reading ListSource URL: prosecco.gforge.inria.frDownload Document from Source WebsiteFile Size: 81,68 KBShare Document on Facebook |