Information Flow Control-by-Construction for an Object-Oriented Language

DOI10.1007/978-3-031-17108-6_13zbMath1525.68031arXiv2208.02672MaRDI QIDQ6111610

Unnamed Author, Marco Servetto, Tobias Runge, Alex Potanin, Ina Schaefer

Publication date: 4 August 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2208.02672

zbMATH Keywords

correctness-by-constructioninformation-flow controlsecurity-by-design

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ArcAngel: a tactic language for refinement
• A UTP semantics for \textsf{Circus}
• Invariant based programming: Basic approach and teaching experiences
• Flexible recovery of uniqueness and immutability
• An Axiomatic Approach to Information Flow in Programs
• Refinement Calculus
• The Correctness-by-Construction Approach to Programming
• Static Analysis
• Static Analysis
• A Certified Lightweight Non-interference Java Bytecode Verifier

This page was built for publication: Information Flow Control-by-Construction for an Object-Oriented Language