Laminar

MaRDI QIDQ34861swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=1542484

Cited in

(13)

• JRIF: reactive information flow control for Java
• Secure information flow connections
• Aglet
• Paragon
• JFlow
• EROS
• Fable
• Moat
• Privtrans
• VC3
• JRIF
• Program synthesis for interactive-security systems
• Flexible dynamic information flow control in the presence of exceptions

This page was built for software: Laminar