Cargando…
Software systems safety /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , , |
| Otros Autores: | , , |
| 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: | |
| Acceso en línea: | Texto completo |
| Sumario: | 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 affecting millions of people and making the headlines almost daily. The computer science community is developing verification and synthesis tools which will mechanize ever more tasks in the design of secure programs. This book presents the papers delivered at the NATO Advanced Study Institute (ASI) S. |
|---|---|
| Notas: | "This publication is supported by NATO Science for Peace and Security Programme"--Cover. "Published in cooperation with NATO Emerging Security Challenges Division." "Proceedings of the NATO Advanced Study Institute on Software Systems Safety, Marktoberdorf, Germany, 30 July-11 August 2013." |
| Descripción Física: | 1 online resource |
| Bibliografía: | Includes bibliographical references and indexes. |
| ISBN: | 9781614993858 1614993858 161499384X 9781614993841 |
| ISSN: | 1879-8292 ; |