JRIF: reactive information flow control for Java

DOI10.1007/978-3-030-19052-1_7OpenAlexW2228110606MaRDI QIDQ2303365

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

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

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

Related Items (2)

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

Uses Software

• Paragon
• Jif
• Laminar

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