Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.
Կատեգորիաներ:
Տարի:
2011
Հրատարակում:
1
Հրատարակչություն:
Springer-Verlag Berlin Heidelberg
Լեզու:
english
Էջեր:
185
ISBN 10:
3642160743
ISBN 13:
9783642160745
Սերիաներ:
Lecture Notes in Computer Science 6186 Security and Cryptology
Ֆայլ:
PDF, 2.55 MB
IPFS:
,
english, 2011