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, 6186Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Descripción: IX, 185p. 39 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642160745Trabajos contenidos: SpringerLink (Online service)Tema(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, InterpretersFormatos físicos adicionales: Sin títuloClasificación CDD: 005.82 Clasificación LoC: Libro electrónicoRecursos en línea: de clik aquí para ver el libro electrónico Springer eBooks
No hay ítems correspondientes a este registro
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.