From Computationally-Proved Protocol Specifications to Implementations and Application to SSH∗ David Cad´e and Bruno Blanchet INRIA Paris-Rocquencourt, Paris, France {david.cade,bruno.blanchet Abstract - Blanchet - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-03-21 05:47:13		From Computationally-Proved Protocol Specifications to Implementations and Application to SSH∗ David Cad´e and Bruno Blanchet INRIA Paris-Rocquencourt, Paris, France {david.cade,bruno.blanchet}@inria.fr Abstract Add to Reading List Source URL: prosecco.gforge.inria.fr Download Document from Source Website File Size: 293,33 KB Share Document on Facebook