Verification of Information Flow and Access Control Policies with Dependent Types

Nanevski, Aleksandar and Banerjee, Anindya and Garg, Deepak
(2011) Verification of Information Flow and Access Control Policies with Dependent Types.
In: Proceedings of the 32nd IEEE Symposium on Security and Privacy (S&P '11).
Conference: SP IEEE Symposium on Security and Privacy

Full text not available from this repository.
Item Type: Conference or Workshop Item (A Paper) (Paper)
Additional Information: pub_id: 1081 Bibtex: Garg_11:IntConAd URL date: None
Divisions: Unspecified
Conference: SP IEEE Symposium on Security and Privacy
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:33
Last Modified: 18 Jul 2019 12:09
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/1065

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.