Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28
by Alessandro Armando, Gavin Lowe Paperback 2010
- Author: Alessandro Armando, Gavin Lowe
- ISBN 13: 9783642160738
- ISBN 10: 3642160735
- Publication Year: 2010
- Language: English
Specifications
Index-103642160735
LanguageEnglish
Index-139783642160738
Period-
Class Track-
Publisher- (2010)
Pages-
✨ Readers also enjoyed...
Automated Reasoning
Endangered Bats