Custom cover image
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 / edited by Alessandro Armando, Gavin Lowe
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 6186Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: Online-Ressource (IX, 185p. 39 illus, online resource)ISBN:- 9783642160745
- Computersicherheit
- Sicherheitsprotokoll
- Formale Spezifikationstechnik
- Automatisches Beweisverfahren
- Computer science
- Computer Communication Networks
- Computer software
- Computer Science
- Software engineering
- Data encryption (Computer science)
- Computer networks
- Computers and civilization
- Algorithms
- Cryptography
- Compilers (Computer programs)
- 005.82
- 005.824 23
- 004
- 004
- QA76.9.A25
- QA76.9
No physical items for this record