String rewriting and security analysis: an extension of a result of Book and Otto
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.