Software systems safety /

Mostrar otras versiones (1)

Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking software, malware attacks and bugs in programs a...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: NATO Advanced Study Institute on Software Systems Safety Marktoberdorf, Germany, NATO Science for Peace and Security Programme, NATO Emerging Security Challenges Division
Otros Autores: Grumberg, Orna (Editor ), Seidl, Helmut (Computer scientist) (Editor ), Irlbeck, Maximilian (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2014.
Colección:NATO science for peace and security series. Information and communication security ; v. 36.
Temas:
Systems software > Safety measures > Congresses.
Computer security > Congresses.
Software engineering > Congresses.
Logiciels de base > Sécurité > Mesures > Congrès.
Sécurité informatique > Congrès.
Génie logiciel > Congrès.
COMPUTERS > Security > General.
Computer security
Software engineering
Engineering & Applied Sciences.
Computer Science.
Conference papers and proceedings
Acceso en línea:Texto completo
Tabla de Contenidos:
  • ""SOFTWARE SYSTEMS SAFETY""; ""Preface""; ""Contents""; ""May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification""; ""SAT-based Model Checking: Interpolation, IC3, and Beyond""; ""Program Synthesis""; ""Applications of Interactive Proof to Data Flow Analysis and Security""; ""E-Voting Systems""; ""Probabilistic Model Checking for Biology""; ""Foundations of Infinite-State Verification""; ""Boolean Satisfiability: Solvers and Extensions""; ""Programming in Paragon""; ""Frameworks for Interprocedural Analysis of Concurrent Programs""
  • ""Practical Software Synthesis""""Subject Index""; ""Author Index""

Ejemplares similares