Software system reliability and security /

Mostrar otras versiones (1)

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Broy, M., 1949-, Grünbauer, Johannes, Hoare, C. A. R. (Charles Antony Richard), 1934-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, DC : IOS Press, ©2007.
Colección:NATO security through science series. Information and communication security ; v. 9.
Temas:
Computer software > Reliability > Congresses.
Computer security > Congresses.
Logiciels > Fiabilité > Congrès.
Sécurité informatique > Congrès.
REFERENCE > General.
Computer security
Computer software > Reliability
Conference papers and proceedings
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares