Engineering Methods and Tools for Software Safety and Security
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.
A Mechanical Press Controller Development
Synchronous Techniques for Software and Hardware Embedded Systems
Relating Time and Causality in Interactive Distributed Systems
Incremental Design of Distributed Systems with EventB
Principles of Program Termination Notes for the Marktoberdorf Summer School
Graphical Models of Separation Logic
Verification Performance Analysis and Controller Synthesis for RealTime Systems
Other editions - View all
a_off a_on abstract ACL2 act1 actions algorithm allocated assert assume automata automaton behavior bisimulation Boogie C. A. R. Hoare called causal loops checking clock clutch coarsening components composition Computer Science concurrent constraints correct-loop Dafny deﬁne defined deﬁnition delay denote editors embedded systems Esterel Esterel Studio event Event-B example execution Figure finite fixpoints footprint formal formal verification Gérard Berry grd1 guard heap Hoare logic implementation invariant Kim G Lecture Notes Lemma loop loop invariant machine method motor motor_actuator motor_sensor node Notes in Computer nthcdr null O’Hearn operator output channel postcondition predicate Programming Languages proof obligations prove r_on reachability refinement relation represented Scade separation logic sequence specification Springer Springer-Verlag StartA StartWrite statement strongly causal subp synchronous termination Theorem trace transition transition relation Valid variables verification weakly causal well-founded relations