DMCA

Encoding Secure Information Flow with Restricted Delegation and Revocation in Haskell

by Doaa Hassan , Amr Sabry