We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Application of Validation Obligations to Security Concerns

Abstract: 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.
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:2207.03209 [cs.LO]
  (or arXiv:2207.03209v1 [cs.LO] for this version)

Submission history

From: Sebastian Stock [view email]
[v1] Thu, 7 Jul 2022 10:31:13 GMT (666kb,D)

Link back to: arXiv, form interface, contact.