DeepAI AI Chat
Log In Sign Up

Application of Validation Obligations to Security Concerns

by   Sebastian Stock, et al.
Johannes Kepler University Linz

Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validation obligations that enable formalizing requirements early in development to ensure their correctness. Furthermore, validation obligations help hold requirements consistent in an evolving model and create assurances about the model's completeness. Although initially proposed for safety properties, this paper shows how the technique of validation obligations enables us to also reason about security concerns through an example from the medical domain.


page 1

page 2

page 3

page 4


Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability

Development processes in various engineering disciplines are incorporati...

A Framework for Aspectual Requirements Validation: An Experimental Study

Requirements engineering is a discipline of software engineering that is...

The Unit-B Method --- Refinement Guided by Progress Concerns

We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B...

Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems

The specification of requirements and tests are crucial activities in au...

Conflict Analysis and Resolution of Safety and Security Boundary Conditions for Industrial Control Systems

Safety and security are the two most important properties of industrial ...

ReLo: a Dynamic Logic to Reason About Reo Circuits

Critical systems require high reliability and are present in many domain...

Translation Validation for Security Properties

Secure compilation aims to build compilation chains that preserve securi...