Dependable software systems engineering /

Mostrar otras versiones (1)

In the last few years we have all become daily users of Internet banking, social networks and cloud services. Preventing malfunctions in these services and protecting the integrity of private data from cyber attack are both current preoccupations of society at large. While modern technologies have d...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany)
Otros Autores: Esparza, Javier (Editor ), Grumberg, Orna (Editor ), Sickert, Salomon (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam, Netherlands : IOS Press, 2016.
Colección:NATO science for peace and security series. Information and communication security ; vol. 45.
Temas:
Computer security > Congresses.
Computer networks > Security measures > Congresses.
Software engineering > Congresses.
Sécurité informatique > Congrès.
Réseaux d'ordinateurs > Sécurité > Mesures > Congrès.
Génie logiciel > Congrès.
COMPUTERS > Security > General.
Computer networks > Security measures
Computer security
Software engineering
Conference papers and proceedings
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares