@inproceedings{4d49e5bd59d04208b821e6a76ed2ce03,
title = "Type-based distributed access control",
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.",
keywords = "Access control, Communication system control, Communication system security, Computer networks, Computer science, Cryptography, Data security, Distributed control, Dynamic programming, Middleware",
author = "T. Chothia and D. Duggan and J. Vitek",
note = "Publisher Copyright: {\textcopyright} 2003 IEEE.; 16th IEEE Computer Security Foundations Workshop, CSFW 2003 ; Conference date: 30-06-2003 Through 02-07-2003",
year = "2003",
doi = "10.1109/CSFW.2003.1212712",
language = "English",
series = "Proceedings of the Computer Security Foundations Workshop",
pages = "170--184",
booktitle = "Proceedings - 16th IEEE Computer Security Foundations Workshop, CSFW 2003",
}