Laminar

swMATH23077MaRDI QIDQ34861FDOQ34861

Author name not available (Why is that?)

Cited In (4)

• JRIF: reactive information flow control for Java
• Secure information flow connections
• Program synthesis for interactive-security systems
• Flexible dynamic information flow control in the presence of exceptions

This page was built for software: Laminar