Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe.
Material type: Computer fileSeries: Lecture Notes in Computer Science ; 6186Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: v.: digitalISBN:- 9783642160745
- Computer science
- Computer Communication Networks
- Software engineering
- Data encryption (Computer science)
- Computer software
- Computer Science
- Data Encryption
- Computer Communication Networks
- Computers and Society
- Algorithm Analysis and Problem Complexity
- Software Engineering
- Programming Languages, Compilers, Interpreters
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.