Relating multiset rewriting and process algebras for security protocol analysis
Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli · Journal of Computer Security · 2005
When formalizing security protocols, different specification languages support very different reasoning methodologies, whose results are not directly or easily comparable. Therefore, establishing clear mappings among different frameworks is highly de