DMCA
for security protocol analysis
by
Stefano Bistarelli A
,
Iliano Cervesato C
,
Gabriele Lenzini D
,
Fabio Martinelli A
BibTeX
@MISC{A_forsecurity,
author = {Stefano Bistarelli A and Iliano Cervesato C and Gabriele Lenzini D and Fabio Martinelli A},
title = {for security protocol analysis},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
multiset rewriting and process algebras
