The following pages link to Fable (Q34865):
Displaying 6 items.
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- SeLINQ: tracking information across application-database boundaries (Q2819661) (← links)
- Type-Based Access Control in Data-Centric Systems (Q3000577) (← links)
- A survey on server-side approaches to securing web applications (Q5176185) (← links)
- Secure distributed programming with value-dependent types (Q5398328) (← links)