Type-based distributed access control

T. Chothia, D. Duggan, J. Vitek

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

27 Scopus citations

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.

Original languageEnglish
Title of host publicationProceedings - 16th IEEE Computer Security Foundations Workshop, CSFW 2003
Pages170-184
Number of pages15
ISBN (Electronic)076951927X
DOIs
StatePublished - 2003
Event16th IEEE Computer Security Foundations Workshop, CSFW 2003 - Pacific Grove, United States
Duration: 30 Jun 20032 Jul 2003

Publication series

NameProceedings of the Computer Security Foundations Workshop
Volume2003-January
ISSN (Print)1063-6900

Conference

Conference16th IEEE Computer Security Foundations Workshop, CSFW 2003
Country/TerritoryUnited States
CityPacific Grove
Period30/06/032/07/03

Keywords

  • Access control
  • Communication system control
  • Communication system security
  • Computer networks
  • Computer science
  • Cryptography
  • Data security
  • Distributed control
  • Dynamic programming
  • Middleware

Fingerprint

Dive into the research topics of 'Type-based distributed access control'. Together they form a unique fingerprint.

Cite this