Foundations of Security Analysis and Design IV [electronic resource] : FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 4677Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Descripción: VII, 328 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783540748106Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Computer Communication Networks | Operating systems (Computers) | Data encryption (Computer science) | Logic design | Information Systems | Computer Science | Operating Systems | Data Encryption | Computer Communication Networks | Management of Computing and Information Systems | Logics and Meanings of Programs | Programming Languages, Compilers, InterpretersFormatos físicos adicionales: Sin títuloClasificación CDD: 005.43 Clasificación LoC:QA76.76.O63Recursos en línea: de clik aquí para ver el libro electrónico
Contenidos:
Springer eBooks
No hay ítems correspondientes a este registro
Foundations of Security Analysis and Design -- Security Protocols: Principles and Calculi -- Secure Service Orchestration -- IT Security Analysis Best Practices and Formal Approaches -- Low-Level Software Security: Attacks and Defenses -- Enhancing Java Security with History Based Access Control -- On the Protection and Technologies of Critical Information Infrastructures -- An Interpretation of Identity-Based Cryptography -- Trust and Reputation Systems -- An Introduction to the Role Based Trust Management Framework RT -- Trusted Mobile Platforms.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.