Now showing items 1-1 of 1

    • Inference of Expressive Declassification Policies 

      Vaughan, Jeffrey A.; Chong, Stephen N (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 ...