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

Nanevski, Aleksander; Benerjee, Anindya; Garg, Deepak

doi:10.1145/2491522.2491523

Local TagsRelease HistoryDetailsSummary

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

Nanevski, A., Benerjee, A., & Garg, D. (2013). Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Transactions on Programming Languages and Systems, 35(2): 6, pp. 1-41. doi:10.1145/2491522.2491523.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-19DD-A Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-19DE-8

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Nanevski, Aleksander¹, Author
Benerjee, Anindya¹, Author
Garg, Deepak², Author

Affiliations:
1External Organizations, ou_persistent22
2Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2013Date issued: 2013

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Internal

Identifiers: eDoc: 688252
DOI: 10.1145/2491522.2491523

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: ACM Transactions on Programming Languages and Systems

Abbreviation : TOPLAS

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 35 (2) Sequence Number: 6 Start / End Page: 1 - 41 Identifier: ISSN: 0164-0925