![](/img/cover-not-exists.png)
Relating multiset rewriting and process algebras for security protocol analysis
Bistarelli, Stefano, Cervesato, Iliano, Lenzini, Gabriele, Martinelli, Fabio, Gorrieri, RobertoVolume:
13
Language:
english
Journal:
Journal of Computer Security
DOI:
10.3233/jcs-2005-13102
Date:
January, 2005
File:
PDF, 410 KB
english, 2005