Dependent Type Theory for Verification of Information Flow and Access Control Policies

Nanevski, Aleksandar and Banerjee, Anindya and Garg, Deepak
(2013) Dependent Type Theory for Verification of Information Flow and Access Control Policies.
ACM Transactions on Programming Languages and Systems, 35 (2).

Full text not available from this repository.
Item Type: Article
Additional Information: pub_id: 496 Bibtex: NaBaGa_13:DependentTypeTheory URL date: None
Uncontrolled Keywords: security
Divisions: Unspecified
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:29
Last Modified: 18 Jul 2019 12:09
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/314

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.