Fable
From MaRDI portal
Software:34865
No author found.
Related Items (6)
Program synthesis for interactive-security systems ⋮ Secure distributed programming with value-dependent types ⋮ Type-Based Access Control in Data-Centric Systems ⋮ SeLINQ ⋮ A survey on server-side approaches to securing web applications ⋮ Noninterference in a predicative polymorphic calculus for access control
This page was built for software: Fable
