Attachment Details
Not logged in
Overview

Artifact ID: c0f78b9e900744ecef032a94140f159c0621e2ba
Wiki Page: Attic 001 for Holding Various Files
Date: 2017-06-09 09:16:25
User: martin_vahi
Artifact Attached: 3821d35db99f8350832b98d575c33626d8678e29
Filename:Using_Horn_Clauses_for_Analyzing_Security_Protocols_by_Bruno_BLANCHET.pdf
Description:Downloaded on 2017_06_09 from http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetBook09.pdf http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetBook09.html https://archive.is/e55f3 http://prosecco.gforge.inria.fr/personal/bblanche/publications/index.html http://prosecco.gforge.inria.fr/personal/bblanche/
Content Appended
(file is 267482 bytes of binary data)