TY  - BOOK
AU  - Alessandro Aldini, Javier Lopez, Fabio Martinelli
TI  - Foundations of Security Analysis and Design VIII
SN  - 9783319430058
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-43005-8
ER  -