DeepAI AI Chat
Log In Sign Up

Application of Validation Obligations to Security Concerns

07/07/2022
by   Sebastian Stock, et al.
Johannes Kepler University Linz
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

12/23/2019

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

Development processes in various engineering disciplines are incorporati...
10/08/2021

A Framework for Aspectual Requirements Validation: An Experimental Study

Requirements engineering is a discipline of software engineering that is...
10/24/2018

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

We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B...
09/03/2022

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...
05/10/2023

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 ...
03/23/2023

ReLo: a Dynamic Logic to Reason About Reo Circuits

Critical systems require high reliability and are present in many domain...
01/15/2019

Translation Validation for Security Properties

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