Type-Based Distributed Access Control

  title={Type-Based Distributed Access Control},
  author={Tom Chothia and Dominic Duggan and Jan Vitek},
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 ofdeclassification certificates to support the declassification of encrypted data. 
Highly Cited
This paper has 45 citations. REVIEW CITATIONS
33 Citations
41 References
Similar Papers


Publications citing this paper.

Similar Papers

Loading similar papers…