- Libros
- Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
- Libros
- Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
VV.AA.
Anglais
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
VV.AA.EAN
9783642160738
Éditorial
Année d'édition
2010
langage
Anglais
Collection
Lecture Notes in Computer Science