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
Tabla de Contenidos:
  • Title Page; Preface; Contents; Probabilistic Model Checking; SMT Solvers: Foundations and Applications; Formal Models for Analyzing Security Protocols: Some Lecture Notes; Parameterized Verification of Crowds of Anonymous Processes; Synthesis of Reactive Systems; Between Testing and Verification: Dynamic Software Model Checking; Learning-Based Compositional Model Checking of Behavioral UML Systems; Programming by Examples (and Its Applications in Data Wrangling); Verification of Concurrent Software; A Tutorial on Mean-Payoff and Energy Games; Equivalence
  • Combinatorics, Algebra, Proofs.
  • Analysis and Synthesis with ""Big Code""Subject Index; Author Index.

Ejemplares similares