Fable
From MaRDI portal
Software:34865
swMATH23081MaRDI QIDQ34865FDOQ34865
Author name not available (Why is that?)
Cited In (6)
- SeLINQ: tracking information across application-database boundaries
- Secure distributed programming with value-dependent types
- A survey on server-side approaches to securing web applications
- Type-Based Access Control in Data-Centric Systems
- Noninterference in a predicative polymorphic calculus for access control
- Program synthesis for interactive-security systems
This page was built for software: Fable
