Ebooks

Software Systems Reliability and Security~tqw~ darksiderg

• 
• 
• 
• 
• 
• Rate this torrent +  |  -

Torrent info

Torrent Files List

Torrent description

*******************************************************************************
Software Systems Reliability and Security
*******************************************************************************

-------------------------------------------------------------------------------
General Information
-------------------------------------------------------------------------------
Type.................: Ebook
Part Size............: 9,211,673 bytes




-------------------------------------------------------------------------------
Post Information
-------------------------------------------------------------------------------
Posted by............: ~tqw~

-------------------------------------------------------------------------------
Release Notes
-------------------------------------------------------------------------------
The foundations of software technology provide models that enable us to capture
application domains and their requirements, but also to understand the structure
and working of software systems, software architectures and programs. New
developments must pay due diligence to the importance of security-related
aspects, and align current methods and techniques to information security,
integrity, and system reliability. However, based on the specific needs in
applications of software technology, models and formal methods must serve the
needs and the quality of advanced software engineering methods, especially
taking into account security aspects in Information Technology. As a consequence
of the wide distribution of software and software infrastructure, information
security depends on the quality and excellent understanding of its functioning.
Only when this functionality is guaranteed as safe, customers and information
are protected against adversarial attacks. Thus, 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.
Such development is difficult, mainly because of the conflict between
development costs and verifiable correctness. The articles in this book describe
the state-of-the-art ideas on how to meet these challenges in software
engineering.

Table of Contents

Logics and automata for software model-checking 1
Specifying, relating and composing object oriented interfaces,
components and architectures 22
Using invariants to reason about cryptographic protocols 73
Verified interoperable implementations of security protocols 87
Compensable transactions 116
Automata on infinite words and their applications in formal verification
135
Practical principles for computer security 151
Engineering requirements for system reliability and security 196
Pervasive verification of distributed real-time systems 239
Verification and synthesis of reactive programs 298
Security, privacy, usability and reliability (SPUR) in mobile networked
embedded systems : the case of modern automobiles 341
A verifying compiler for a multi-threaded object-oriented language 351

Product Details

* ISBN: 1586037315
* ISBN-13: 9781586037314
* Format: Hardcover, 434pp
* Publisher: I O S Press, Incorporated
* Pub. Date: May 2007

-------------------------------------------------------------------------------
Install Notes
-------------------------------------------------------------------------------
PDF Reader

related torrents

comments (0)