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

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

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2013
Type of Publication:	Article
Authors:	Nanevski, Aleksandar Banerjee, Anindya Garg, Deepak
Journal:	ACM Trans. Program. Lang. Syst.	Volume:	35
Number:	2	Pages:	6

Journal's impact factor:	1.03
@article{DBLP:journals/toplas/NanevskiBG13, author = "Aleksandar Nanevski and Anindya Banerjee and Deepak Garg", journal = "ACM Trans. Program. Lang. Syst.", note = "(Partners: IMDEA, Projects: MINECO Projects TIN2009-14599-C03-02 Desafios, TIN2010-20639 Paran10, and TIN2012-39391-C04-01 Strongsoft; EU Project NoE-256980 Nessos; Ramon y Cajal grant RYC-2010-0743; AMAROUT grant PCOFUND-GA-2008-229599; U.S. NSF Trustworthy Computing grant 1018061, NoTier) CITE(03/03/2014):3", number = "2", pages = "6", title = "{D}ependent {T}ype {T}heory for {V}erification of {I}nformation {F}low and {A}ccess {C}ontrol {P}olicies", volume = "35", year = "2013", }
Note:	(Partners: IMDEA, Projects: MINECO Projects TIN2009-14599-C03-02 Desafios, TIN2010-20639 Paran10, and TIN2012-39391-C04-01 Strongsoft; EU Project NoE-256980 Nessos; Ramon y Cajal grant RYC-2010-0743; AMAROUT grant PCOFUND-GA-2008-229599; U.S. NSF Trustworthy Computing grant 1018061, NoTier) CITE(03/03/2014):3
[Bibtex]