Compiling and Verifying Security Protocols

Florent Jacquemard; Michaël Rusinowitch; Laurent Vigneron

inria-00099161, version 1

Compiling and Verifying Security Protocols

Florent Jacquemard^a^, 1, Michaël Rusinowitch^a^, 1, Laurent Vigneron^b^, 1

International Conference on Logic Programming & Automated Reasoning - LPAR'2000 1955 (2000) 131-160

Abstract: Le papier décrit une procédure de compilation et de preuve de protocoles de sécurité.

a – INRIA
b – UNIVERSITE NANCY 2
1: PROTHEO (INRIA Lorraine - LORIA)
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)

inria-00099161, version 1
http://hal.inria.fr/inria-00099161
oai:hal.inria.fr:inria-00099161
From: Publications Loria <>
Submitted on: Tuesday, 26 September 2006 08:51:27
Updated on: Wednesday, 17 January 2007 17:05:48

See detailed view

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Peer-reviewed conferences/proceedings</head>
<biblStruct type="inproceedings" xml:id="inria-00099161"><analytic>
<author><persName><forename>Florent</forename><surname>Jacquemard</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">PROTHEO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Michaël</forename><surname>Rusinowitch</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">PROTHEO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Laurent</forename><surname>Vigneron</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">PROTHEO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<title type="main" level="a">Compiling and Verifying Security Protocols</title></analytic><monogr><meeting>International Conference on Logic Programming & Automated Reasoning - LPAR'2000</meeting><imprint><publisher>Springer-Verlag</publisher><pubPlace><settlement>Reunion Island</settlement><country> France</country></pubPlace><biblScope type="publicationDate">2000-00-00</biblScope><biblScope type="vol">1955</biblScope><biblScope type="pp">131-160</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00099161</idno></biblStruct>
</listBibl>
</listBibl>