Formal Analysis and Run-time Monitoring of Information Flows in Chromium: Technical Appendix*

Abstract

We use labels to specify information flow policies. We first introduce the syntax of labels and operations on labels. Then we discuss how these labels can be used to implement various policies present in browsers today.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 2015
Accession Number
AD1025702

Entities

People

  • Limin Jia
  • Lujo Bauer
  • Michael Stroucken
  • Shaoying Cai
  • Timothy Passaro
  • Yuan Tian

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Chromium
  • Construction
  • Directories
  • Elements
  • Environment
  • Failed States
  • Instructions
  • Life Cycles
  • Long Life
  • Models
  • Networks
  • Sequences
  • Simulations
  • Test And Evaluation
  • Transitions
  • Web Browsers
  • Websites

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Defense Acquisition Program Management