JRIF: reactive information flow control for Java

DOI10.1007/978-3-030-19052-1_7MaRDI QIDQ2303365zbMATH OpenOpenAlexFDO

Authors Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider

Publication date 3 March 2020

Full work available at URL https://doi.org/10.1007/978-3-030-19052-1_7

zbMATH Keywords

automatainformation flow controlreclassification

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• Jaguar: Enabling efficient communication and I/O in Java
• scientific article; zbMATH DE number 2040564
• Information Flow Control-by-Construction for an Object-Oriented Language

Cited in

(2)

• CoCon: a conference management system with formally verified document confidentiality
• JRIF

Describes a project that uses

Uses Software

• Laminar
• Jif
• Paragon

This page was built for publication: JRIF: reactive information flow control for Java

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2303365)