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.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 6186 | Lecture Notes in Computer Science ; 6186Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Descripción: IX, 185p. 39 illus. online resourceTipo de contenido: - text
- computer
- online resource
- 9783642160745
- SpringerLink (Online service)
- 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
- 005.82 23
- Libro electrónico
No hay ítems correspondientes a este registro
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.