Software system reliability and security

by Broy, M. Grünbauer, Johannes Hoare, C. A. R., (Charles Antony Richard)

Type Book

Rate 0.0 /5

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.

Details

Files

Reviews

Download

Title Statements

Full title :Software system reliability and security / edited by Manfred Broy, Johannes Grünbauer and Tony Hoare.

Summary

Edition Statements

Publication Date:©2007.

Publication Statements

Publisher(s):IOS Press
Place of Publication:Amsterdam
Language:eng
Publication Date:©2007.

The Physical Object

Description:1 online resource (ix, 417 pages) : : illustrations

Edition Identifiers

ISBN:9781429492232, 1429492236, 1433708744, 9781433708749, 9781607502364, 1607502364
oclc:ocn290589228
LC Classification:QA76.76.R44
Dewey Decimal:005

Cover -- 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 Programs -- Security, 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 -- Last Page.

Subjects

Computer security Computer security -- Congresses Computer software -- Congresses. -- Rel… Computer software -- Reliability Conference papers and proceedings Logiciels -- Congrès. -- Fiabilité REFERENCE -- General Sécurité informatique -- Congrès