Accession Number:

AD1025702

Title:

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

Descriptive Note:

Technical Report

Corporate Author:

Carnegie Mellon University Pittsburgh United States

Report Date:

2015-02-01

Pagination or Media Count:

104.0

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.

Subject Categories:

  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE