SeLINQ

swMATH28379MaRDI QIDQ40093FDOQ40093

Author name not available (Why is that?)

Official website: http://www.cse.chalmers.se/~andrei/icfp14.pdf

Described by source

• SeLINQ: tracking information across application-database boundaries

Cited In (9)

• Flow Caml
• Paragon
• TS#
• Ur/Web
• GWT
• JOANA
• JSLINQ
• Information flow control in software DB units based on formal verification
• Formal methods for web security

This page was built for software: SeLINQ