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

Contributor(s):

Material type: Text

TextSeries: NATO security through science series. D, Information and communication security ; ; v. 9.Publication details: Amsterdam ; Washington, DC : IOS Press, ©2007.Description: 1 online resource (ix, 417 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9781429492232
1429492236
1433708744
9781433708749
9781607502364
1607502364

Subject(s):

Genre/Form:

Additional physical formats: Print version:: Software system reliability and security.DDC classification:

005 22

LOC classification:

QA76.76.R44 S668 2007eb

Online resources:

Click here to access online

Contents:

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.

Action note:

digitized 2010 HathiTrust Digital Library committed to preserve

Summary: 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.

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Collection	Call number	Materials specified	Status	Date due	Barcode
Electronic-Books	OPJGU Sonepat- Campus	E-Books EBSCO			Available

Includes bibliographical references.

Print version record.

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.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL