Engineering Methods and Tools for Software Safety and Security

Front Cover
M. Broy, Wassiou Sitou
IOS Press, 2009 - Political Science - 333 pages
As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent understanding of its functioning. Only if this functionality is guaranteed as safe, customer and information are protected against adversarial attacks and malfunction. A vast proportion of information exchange is dominated by computer systems. Due to the fact that technical systems are more or less interfaced with software systems, most information exchange is closely related to software and computer systems.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Mechanical Press Controller Development
1
Synchronous Techniques for Software and Hardware Embedded Systems
43
Relating Time and Causality in Interactive Distributed Systems
75
Incremental Design of Distributed Systems with EventB
131
Principles of Program Termination Notes for the Marktoberdorf Summer School
161
Graphical Models of Separation Logic
177
Verification Performance Analysis and Controller Synthesis for RealTime Systems
203
Specification and Verification of ObjectOriented Software
231
A Mechanically Checked Proof of the Correctness of the BoyerMoore Fast String Searching Algorithm
267
An Introduction to Separation Logic
285
Unifying Theories of Undefinedness
311
Subject Index
331
Author Index
333
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information