With IFbCOO (Information Flow control by Construction for an Object-Oriented language), programmers get a local warning as soon as a refinement is not secure, which can reduce debugging effort.
Oct 1, 2022
Aug 4, 2022 · Abstract:In security-critical software applications, confidential information must be prevented from leaking to unauthorized sinks.
SIFO [27] is an object-oriented language that ensures secure information flow through a type system with precise uniqueness and (im)mutability reasoning. SIFO ...
Sep 26, 2022 · We introduce IFbCOO, an approach that guides users incrementally to a secure implementation by using refinement rules.
Abstract. In security-critical software applications, confidential infor- mation must be prevented from leaking to unauthorized sinks. Static.
Information Flow Control-by-Construction for an Object-Oriented Language. September 2022 · Lecture Notes in Computer Science. Tobias Runge ...
People also ask
What is information flow control?
What is object oriented programming for information systems?
What is the critical ability of an object-oriented system?
This work compares classic CbC with C bC-Block and TraitCbC, which have new language constructs that enable a more flexible software construction approach ...
We introduce IFbCOO, an approach that guides users incrementally to a secure implementation by using refinement rules. In each refinement step, confidentiality ...
Oct 12, 2023 · Information Flow Control-by-Construction for an Object-Oriented Language ; Publikationsjahr, 2022 ; Sprache, Englisch ; Identifikator, ISBN: 978-3- ...
Information Flow Control-by-Construction for an Object-Oriented Language · List of references · Publications that cite this publication.