Post-proceedings of the Summer School Marktoberdorf: Safety and Security of Software Systems - Logics, Proofs, Applications
Seiten
2020
TUM.University Press (Verlag)
978-3-95884-044-7 (ISBN)
TUM.University Press (Verlag)
978-3-95884-044-7 (ISBN)
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 safe and secure systems. This book collects papers related to the tutorials delivered at the NATO Advanced Study Institute (ASI) Summer School Marktoberdorf 2019 on „Safety and Security of Software Systems: Logics, Proofs, Applications“. The lectures presented results obtained by leading research groups in the field. The subjects covered, include online verification of autonomous systems, population protocols, stochastic model checking, and differential privacy.
The Marktoberdorf Summer School is one of the most renowned international computer science summer schools. This book with its detailed overview of current research results, will be of interest to all those who are concerned with solving intricate safety and security problems in the design and implementation of systems.
The computer science community is developing verification and synthesis tools which will mechanize ever more tasks in the design of safe and secure systems. This book collects papers related to the tutorials delivered at the NATO Advanced Study Institute (ASI) Summer School Marktoberdorf 2019 on „Safety and Security of Software Systems: Logics, Proofs, Applications“. The lectures presented results obtained by leading research groups in the field. The subjects covered, include online verification of autonomous systems, population protocols, stochastic model checking, and differential privacy.
The Marktoberdorf Summer School is one of the most renowned international computer science summer schools. This book with its detailed overview of current research results, will be of interest to all those who are concerned with solving intricate safety and security problems in the design and implementation of systems.
Erscheinungsdatum | 01.10.2020 |
---|---|
Verlagsort | München |
Sprache | englisch |
Maße | 210 x 297 mm |
Themenwelt | Informatik ► Netzwerke ► Sicherheit / Firewall |
Schlagworte | Cyber-Physical Systems • Decidability • differential privacy • formal methods • Informatik • Modularity • non-interference • online verification • population protocols • relational verification • Safety • safety of learning systems • security • stochastic model checking • Technical University of Munich • Technische Universität München • temporal logic. • theorem proving • tum • TU München • verification • weak-memory models |
ISBN-10 | 3-95884-044-2 / 3958840442 |
ISBN-13 | 978-3-95884-044-7 / 9783958840447 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Lehrbuch für Prüfung und Praxis
Buch | Softcover (2023)
Springer Fachmedien Wiesbaden GmbH (Verlag)
19,99 €
Wie Geheimdienste und Kriminelle uns im Netz infiltrieren
Buch | Hardcover (2023)
Wiley-VCH (Verlag)
24,99 €