1 option
Software systems safety / edited by Orna Grumberg, Helmut Seidl and Maximilian Irlbeck.
- Format:
- Book
- Conference/Event
- Author/Creator:
- NATO Advanced Study Institute on Software Systems Safety, Corporate Author.
- Conference Name:
- NATO Advanced Study Institute on Software Systems Safety (2013 : Marktoberdorf, Germany), issuing body.
- NATO Advanced Study Institute on Software Systems Safety
- Series:
- NATO science for peace and security series. Information and communication security ; Sub-series D, Volume 36.
- NATO Science for Peace and Security Series, 1879-8292 ; Voume 36
- Language:
- English
- Subjects (All):
- Systems software--Safety measures--Congresses.
- Systems software.
- Computer security--Congresses.
- Computer security.
- Software engineering--Congresses.
- Software engineering.
- Physical Description:
- 1 online resource (396 pages) : illustrations, photographs.
- Edition:
- 1st ed.
- Place of Publication:
- Amsterdam, Netherlands : IOS Press, 2014.
- Language Note:
- English
- Summary:
- 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) Summer School Marktoberdorf 2013 - Software Systems Safety. The participants represented research groups from both industry and academia, and the subjects covered included: software model checking via systematic testing, program synthesis, E voting systems, probabilistic model checking in biology, infinite state model checking, Boolean satisfiability, interactive proof, and software security by information flow control. The Marktoberdorf Summer School is one of the most renowned international computer science summer schools, and this book, with its detailed overview of current research results with special emphasis on the solving of software systems security problems, will be of interest to all those whose work involves systems security.
- Contents:
- 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.
- Notes:
- Bibliographic Level Mode of Issuance: Monograph
- Includes bibliographical references at the end of each chapters and index.
- Description based on print version record.
- OCLC:
- 908030528
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.