Laminar

swMATH23077MaRDI QIDQ34861FDOQ34861

Author name not available (Why is that?)

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