String Rewriting and Security Analysis: An Extension of a Result of Book and Otto

Siva Anantharaman, Paliath Narendran, Michaƫl Rusinowitch. String Rewriting and Security Analysis: An Extension of a Result of Book and Otto. Journal of Automata, Languages and Combinatorics, 16(2-4):75-90, 2011.

Abstract

Abstract is missing.