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.
Contributor(s): Armando, Alessandro [editor.]
| Lowe, Gavin [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Security and Cryptology: 6186Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: IX, 185 p. 39 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642160745.Subject(s): 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 InterpretersAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.824 Online resources: Click here to access online
In:
Springer Nature eBook
No physical items for this record
There are no comments for this item.