Published Articles >> Table of Contents >> Abstract

16th IEEE Computer Security Foundations Workshop (CSFW'03)   p. 170
Type-Based Distributed Access Control
Tom Chothia, Stevens Institute of Technology
Dominic Duggan, Stevens Institute of Technology
Jan Vitek, Purdue University

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSFW.2003.1212712
Send link to a friend

Abstract
The Key-Based Decentralized Label Model (KDLM) is a type system that combines a weak form of information flow control, termed distributed access control in the article, with typed cryptographic operations. The motivation is to have a type system that ensures access control while giving the application the responsibility to secure network communications, and to do this safely. KDLM introduces the notion of declassification certificates to support the declassification of encrypted data.
Back to Top Additional Information
Citation:  Tom Chothia, Dominic Duggan, Jan Vitek, "Type-Based Distributed Access Control," csfw, p. 170,  16th IEEE Computer Security Foundations Workshop (CSFW'03),  2003