String rewriting and security analysis: an extension of a result of Book and Otto - Archive ouverte HAL Access content directly
Journal Articles Journal of Automata Languages and Combinatorics Year : 2012

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

Abstract

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.
No file

Dates and versions

hal-00659009 , version 1 (11-01-2012)

Identifiers

  • HAL Id : hal-00659009 , version 1

Cite

Siva Anantharaman, Paliath Narendran, Michael Rusinowitch. String rewriting and security analysis: an extension of a result of Book and Otto. Journal of Automata Languages and Combinatorics, 2012, 16 (2--4), pp.83--98. ⟨hal-00659009⟩
244 View
0 Download

Share

Gmail Facebook X LinkedIn More