Type-Based Distributed Access Control

13 years 9 months ago
Type-Based Distributed Access Control
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, 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. The notion of declassification certificates is introduced to support the declassification of encrypted data.
Tom Chothia, Dominic Duggan, Jan Vitek
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where CSFW
Authors Tom Chothia, Dominic Duggan, Jan Vitek
Comments (0)