Grumberg / Nipkow / Pfaller | Formal Logical Methods for System Security and Correctness | Buch | 978-1-58603-843-4 | sack.de

Buch, Englisch, Band 14, 332 Seiten

Reihe: NATO Science for Peace and Security Series - D: Information and Communication Security

Grumberg / Nipkow / Pfaller

Formal Logical Methods for System Security and Correctness


Buch, Englisch, Band 14, 332 Seiten

Reihe: NATO Science for Peace and Security Series - D: Information and Communication Security

ISBN: 978-1-58603-843-4
Verlag: IOS Press

The objective of this publication is to present the state-of-the-art in the field of proof technology in connection with secure and correct software. The contributors have shown that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees. By providing the necessary theoretical background and presenting corresponding application oriented concepts, the objective is an in-depth presentation of such methods covering both theoretical foundations and industrial practice.
Grumberg / Nipkow / Pfaller Formal Logical Methods for System Security and Correctness jetzt bestellen!

Autoren/Hrsg.

Grumberg, O.
Nipkow, T.
Pfaller, C.
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.