Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis

S. Bistarelli, I. Cervesato, Gabriele Lenzini, F. Martinelli

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

127 Downloads (Pure)

Original language	English
Title of host publication	IFIP WG1.7 ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security
Editors	R. Gorrieri
Place of Publication	Warsaw, Poland
Pages	21-31
Publication status	Published - 2003
Event	Workshop on Issues in the Theory of Security 2003 - Warsaw, Poland, Warsaw, Poland Duration: 5 Apr 2003 → 6 Apr 2003 http://www.dsi.unive.it/IFIPWG1_7/wits2003.html

Conference	Workshop on Issues in the Theory of Security 2003
Abbreviated title	WITS 2003
Country/Territory	Poland
City	Warsaw
Period	5/04/03 → 6/04/03
Internet address	http://www.dsi.unive.it/IFIPWG1_7/wits2003.html

Keywords

@inproceedings{7db78117406846bbaa6b399dd8009835,

title = "Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis",

keywords = "METIS-214044",

author = "S. Bistarelli and I. Cervesato and Gabriele Lenzini and F. Martinelli",

year = "2003",

language = "English",

pages = "21--31",

editor = "R. Gorrieri",

booktitle = "IFIP WG1.7 ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security",

note = "Workshop on Issues in the Theory of Security 2003, WITS 2003 ; Conference date: 05-04-2003 Through 06-04-2003",

url = "http://www.dsi.unive.it/IFIPWG1_7/wits2003.html",

}

Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis. / Bistarelli, S.; Cervesato, I.; Lenzini, Gabriele et al.
IFIP WG1.7 ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security. ed. / R. Gorrieri. Warsaw, Poland, 2003. p. 21-31.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis

AU - Bistarelli, S.

AU - Cervesato, I.

AU - Lenzini, Gabriele

AU - Martinelli, F.

PY - 2003

Y1 - 2003

KW - METIS-214044

M3 - Conference contribution

SP - 21

EP - 31

BT - IFIP WG1.7 ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security

A2 - Gorrieri, R.

CY - Warsaw, Poland

T2 - Workshop on Issues in the Theory of Security 2003

Y2 - 5 April 2003 through 6 April 2003

ER -