TY  - BOOK
AU  - Aldini Alessandro
AU  - Gorrieri Roberto
TI  - Foundations of Security Analysis and Design IV
SN  - 9783540748090
U1  - 005.8 ALD 
PY  - 2007///
CY  - New York
PB  - Springer
KW  -  Aldini Alessandro
KW  -  FOSAD
KW  -  Gorrieri Roberto
KW  -  LNCS 4677
KW  - Security Analysis
ER  -