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 /
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 / [electronic resource] :
edited by Alessandro Armando, Gavin Lowe.
- 1st ed. 2010.
- IX, 185 p. 39 illus. online resource.
- Security and Cryptology, 6186 2946-1863 ; .
- Security and Cryptology, 6186 .
9783642160745
10.1007/978-3-642-16074-5 doi
Cryptography.
Data encryption (Computer science).
Computer networks .
Computers and civilization.
Algorithms.
Software engineering.
Compilers (Computer programs).
Cryptology.
Computer Communication Networks.
Computers and Society.
Algorithms.
Software Engineering.
Compilers and Interpreters.
QA268
005.824
9783642160745
10.1007/978-3-642-16074-5 doi
Cryptography.
Data encryption (Computer science).
Computer networks .
Computers and civilization.
Algorithms.
Software engineering.
Compilers (Computer programs).
Cryptology.
Computer Communication Networks.
Computers and Society.
Algorithms.
Software Engineering.
Compilers and Interpreters.
QA268
005.824