Formal Analysis and Run-time Monitoring of Information Flows in Chromium: Technical Appendix*
Carnegie Mellon University Pittsburgh United States
Pagination or Media Count:
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.
- Computer Systems