From Computationally-proved Protocol Specifications to Implementations David Cad´e and Bruno Blanchet ´ Ecole Normale Sup´erieure, CNRS, INRIA, Paris, France {cade,blanchet - Blanchet - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-09-27 12:25:52		From Computationally-proved Protocol Specifications to Implementations David Cad´e and Bruno Blanchet ´ Ecole Normale Sup´erieure, CNRS, INRIA, Paris, France {cade,blanchet}@di.ens.fr Add to Reading List Source URL: prosecco.gforge.inria.fr Download Document from Source Website File Size: 282,42 KB Share Document on Facebook