Protecting privacy using the decentralized label model

By A. Myers, Barbara H. Liskov. Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems], 2000

632 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Signal Processing

View Paper: https://www.semanticscholar.org/paper/cfeb522e7a932c6e4e6d2802a1a6e17ee5f93b44

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. David Sands
2. Andrei Sabelfeld
3. Lin Tan
4. Nickolai Zeldovich
5. Yuanyuan Zhou
6. Jonathan M. Smith
7. Erika Chin
8. Benjamin C. Pierce

In Information Systems

1. Lin Tan
2. Adrienne Porter Felt
3. Yuanyuan Zhou
4. Erika Chin
5. Steve Hanna
6. Andrei Sabelfeld
7. Benjamin C. Pierce
8. Nickolai Zeldovich

In Signal Processing

1. David Sands
2. Andrei Sabelfeld
3. Adrienne Porter Felt
4. Erika Chin
5. Lin Tan
6. Yuanyuan Zhou
7. Benjamin C. Pierce
8. Zhenmin Li

Citations in the corpus

• QUIRE: Lightweight Provenance for Smart Phone Operating Systems (2011, background): “Meyer’s and Liskov’s work on decentralized information flow control (DIFC) systems [19, 21] was the first attempt to solve this problem.”
• /*icomment: bugs or bad comments?*/ (2007, background): “Annotation languages [5, 7, 8, 11, 14, 18, 21, 30, 31, 36, 39] are proposed for developers to comment source code using a formal language to specify some special information such as type safety [46], information flow [30], performance expectations [31], etc.”
• LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting Security Attacks (2006, background): “The first approach is track information flow at compile time for programs written in special type-safe programming languages [18, 19, 24, 31, 32].”
• Making information flow explicit in HiStar (2006, background): “HiStar’s taint labels, which originated in Asbestos, have features resembling the languagebased labels in Jif and Jflow [14].”
• Permission Re-Delegation: Attacks and Defenses (2011, background): “Decentralized information flow control (DIFC) lets applications explicitly express their information flow policies to the operating system or a language runtime, which then enforces the policies [30, 26, 39, 11].”
• Labels and event processes in the asbestos operating system (2005, neutral): “Unfortunately, any system that controls information flow through run-time checks can inappropriately divulge information when those checks fail [31]; in effect, kernel data structures for tracking information flow provide a covert storage channel.”
• Preliminary design of the SAFE platform (2011, methodology): “Approaches to information-flow tracking can be split roughly into two categories: programming language-based techniques [13], which are generally fine-grained and static, and techniques used in operating systems (e.”
• Dimensions and principles of declassification (2005, background): “Myers and Liskov’s decentralized label model [ ML00 ] offers security labels with explicit ownership information (see, e.g., [FSBJ97, PC00, BN05] for further ways of combining information flow and access control).”