String rewriting and security analysis: an extension of a result of Book and Otto

Siva Anantharaman; Paliath Narendran; Michael Rusinowitch

hal-00659009, version 1

String rewriting and security analysis: an extension of a result of Book and Otto

Siva Anantharaman (, ) ¹, Paliath Narendran ()^a^, 2, Michael Rusinowitch () ³

Journal of Automata, Languages and Combinatorics 16, 2--4 (2012) 83--98

Résumé : In their seminal work Dolev and Yao used string rewriting to check protocol security against an active intruder. The main technical result and algorithm were improved by Book and Otto who formulated the security check in terms of an extended word problem for cancellation rules. We extend their main decidability result to a larger class of string rewrite systems called opt-monadic systems. }

a – University at Albany-SUNY, NY (USA)
1 : Laboratoire d'Informatique Fondamentale d'Orléans (LIFO)
Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges
2 : University at Albany
State university of New York
3 : CASSIS (INRIA Nancy - Grand Est / LORIA / LIFC)
Université de Lorraine – Université de Franche-Comté – CNRS : FRE2661 – INRIA

hal-00659009, version 1
http://hal.archives-ouvertes.fr/hal-00659009
oai:hal.archives-ouvertes.fr:hal-00659009
Contributeur : Siva Anantharaman <>
Soumis le : Mercredi 11 Janvier 2012, 17:58:18
Dernière modification le : Vendredi 26 Octobre 2012, 11:36:31

Voir la fiche détaillée

Exporter

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="article"><head>Articles dans des revues avec comité de lecture</head>
<biblStruct type="article" xml:id="hal-00659009"><analytic>
<author><persName><forename>Siva</forename><surname>Anantharaman</surname></persName>
<affiliation>
<orgName type="laboratory">LIFO</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
<country>FR</country>
<orgName type="institution">Université d'Orléans : EA4022</orgName>
<orgName type="institution">Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
</affiliation>
</author>
<author><persName><forename>Paliath</forename><surname>Narendran</surname></persName>
<affiliation>
<orgName type="team">University at Albany</orgName>
<country>US</country>
<orgName type="institution">State university of New York</orgName>
</affiliation>
</author>
<author><persName><forename>Michael</forename><surname>Rusinowitch</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Nancy - Grand Est / LORIA / LIFC</orgName>
<orgName type="team">CASSIS</orgName>
<country>FR</country>
<orgName type="institution">Université de Lorraine</orgName>
<orgName type="institution">Université de Franche-Comté</orgName>
<orgName type="institution">CNRS : FRE2661</orgName>
<orgName type="institution">INRIA</orgName>
</affiliation>
</author>
<title type="main" level="a">String rewriting and security analysis: an extension of a result of Book and Otto</title></analytic><monogr><title level="j" type="main">Journal of Automata, Languages and Combinatorics</title><imprint><biblScope type="publicationDate">2012-00-00</biblScope><biblScope type="vol">16</biblScope><biblScope type="issue">2--4</biblScope><biblScope type="pp">83--98</biblScope></imprint></monogr><idno type="HALid">http://hal.archives-ouvertes.fr/hal-00659009</idno></biblStruct>
</listBibl>
</listBibl>