Pages that link to "Item:Q276494"
From MaRDI portal
The following pages link to A type system for robust declassification (Q276494):
Displaying 5 items.
- Automated enforcement for relaxed information release with reference points (Q1616187) (← links)
- Survey on JavaScript security policies and their enforcement mechanisms in a web browser (Q2436507) (← links)
- Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
- Programming Languages and Systems (Q5316571) (← links)
- Programming Languages and Systems (Q5464062) (← links)