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.
By: Armando, Alessandro.
Contributor(s): Lowe, Gavin | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 6186.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: digital.ISBN: 9783642160745.Subject(s): 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, InterpretersDDC classification: 005.82 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.