Vai al contenuto principale della pagina

Software system reliability and security [[electronic resource] /] / edited by Manfred Broy, Johannes Grünbauer and Tony Hoare



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Software system reliability and security [[electronic resource] /] / edited by Manfred Broy, Johannes Grünbauer and Tony Hoare Visualizza cluster
Pubblicazione: Amsterdam ; ; Washington, DC, : IOS Press, c2007
Descrizione fisica: 1 online resource (428 p.)
Disciplina: 005.8
Soggetto topico: Computer software - Reliability
Computer security
Soggetto genere / forma: Electronic books.
Altri autori: BroyM. <1949->  
GrünbauerJohannes  
HoareC. A. R <1934-> (Charles Antony Richard)  
Note generali: "The contributions in this volume have emerged from lectures of the 27th International Summer School on Software System Reliability and Security, held at Marktoberdorf from August 1 to August 13, 2006."--Pref., p. vi.
Nota di bibliografia: Includes bibliographical references.
Nota di contenuto: Title page; Preface; Contents; Logics and Automata for Software Model-Checking; Specifying, Relating and Composing Object Oriented Interfaces, Components and Architectures; Using Invariants to Reason About Cryptographic Protocols; Verified Interoperable Implementations of Security Protocols; Compensable Transactions; Automata on Infinite Words and Their Applications in Formal Verification; Practical Principles for Computer Security; Engineering Requirements for System Reliability and Security; Pervasive Verification of Distributed Real-Time Systems
Verification and Synthesis of Reactive ProgramsSecurity, Privacy, Usability and Reliability (SPUR) in Mobile Networked Embedded Systems: The Case of Modern Automobiles; A Verifying Compiler for a Multi-Threaded Object-Oriented Language; Author Index
Sommario/riassunto: To make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development. This book describes the ideas on how to meet these challenges in software engineering.
Titolo autorizzato: Software system reliability and security  Visualizza cluster
ISBN: 6610934835
1-280-93483-2
9786610934836
1-4294-9223-6
1-60750-236-4
600-00-0561-X
1-4337-0874-4
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910450859103321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: NATO security through science series. : D, . -Information and communication security ; ; v. 9.