Browsing Faculty of Arts and Sciences by Keyword "data flow analysis"
Now showing items 1-1 of 1
-
Inference of Expressive Declassification Policies
(IEEE Computer Society, 2011)We explore the inference of expressive human-readable declassification policies as a step towards providing practical tools and techniques for strong language-based information security. Security-type systems can enforce ...