It’s My Privilege: Controlling Downgrading in DC-Labels

• Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9331; pp. 203 - 219
• Main Authors: Waye, Lucas, Buiras, Pablo, King, Dan, Chong, Stephen, Russo, Alejandro
• Format: Book Chapter Conference Proceeding
• Language: English
• Published: Cham Springer International Publishing 2015
• Series: Lecture Notes in Computer Science
• Subjects: Conjunctive Normal Form; Integrity Policy; Security Guarantee; Security Vulnerability; Semantic Characterization

Disjunction Category Labels (DC-labels) are an expressive label format used to classify the sensitivity of data in information-flow control systems. DC-labels use capability-like privileges to downgrade information. Inappropriate use of privileges can compromise security, but DC-labels provide no me...