Automated Reasoning for Security Protocol Analysis and Issues in the Theory of SecurityAlessandro Armando
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Alessandro Armando · 2011
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2011
- Language
- English
- Series
- Lecture Notes in Computer Science -- 6186
- Publisher
- Springer Berlin Heidelberg
- Editions
- 1
- Pages
- 194
- ISBN
- 9783642160738
Data source: Wikidata
More by Alessandro Armando
La soglia dell'arteAlessandro Armando
La soglia dell'arte
Alessandro Armando · 2009
Frontiers of Combining SystemsAlessandro Armando
Frontiers of Combining Systems
Alessandro Armando · 2002
Memory and the CityAlessandro Armando
Memory and the City
Alessandro Armando · 2022
Next Generation CERTsAlessandro Armando
Next Generation CERTs
Alessandro Armando · 2019
Automated ReasoningAlessandro Armando
Automated Reasoning
Alessandro Armando · 2008
Teoria del progetto architettonicoAlessandro Armando
Teoria del progetto architettonico
Alessandro Armando · 2017
La soglia dell'arteAlessandro Armando
La soglia dell'arte
Alessandro Armando · 2009