Verification of Information Flow and Access Control Policies with Dependent Types

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2011
Type of Publication:	In Proceedings
Authors:	Nanevski, Aleksandar Banerjee, Anindya Garg, Deepak

Book title:	IEEE Symposium on Security and Privacy





@conference{nan+ban+gar:sp11, author = "Aleksandar Nanevski and Anindya Banerjee and Deepak Garg", booktitle = "IEEE Symposium on Security and Privacy", doi = "10.1109/SP.2011.12 ", note = "PARTNERS: IMDEA PROJECTS: PROMETIDOS, DESAFIOS, PARAN10, HATS, NESSOS TIER: A CITE(03/03/2014):26", title = "{V}erification of {I}nformation {F}low and {A}ccess {C}ontrol {P}olicies with {D}ependent {T}ypes", year = "2011", }
Note:	PARTNERS: IMDEA PROJECTS: PROMETIDOS, DESAFIOS, PARAN10, HATS, NESSOS TIER: A CITE(03/03/2014):26
[Bibtex]