Software Systems Reliability and Security: Volume 9 NATO Security through Science Series: Information and Communication Security

Software Systems Reliability and Security: Volume 9 NATO Security through Science Series: Information and Communication Security

by M. Broy
     
 

ISBN-10: 1586037315

ISBN-13: 9781586037314

Pub. Date: 05/01/2007

Publisher: I O S Press, Incorporated

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

Overview

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.

Product Details

ISBN-13:
9781586037314
Publisher:
I O S Press, Incorporated
Publication date:
05/01/2007
Series:
NATO Security through Science Series, #9
Pages:
434
Product dimensions:
6.60(w) x 9.60(h) x 1.20(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >