However, information sharing is at odds with information security. ... coarse
grained to account for important information flows, such as how parts of a
document are ...... Secure information flow and pointer confinement ... [11] Steven
Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, and
Keith.
CS Study Group FY07 Phase 2
Machine-Checked Metatheory for Security-Oriented Languages Final Technical Report Pis:
Stephanie Weirich* Steve Zdancewic
Mail:
Computer and Information Science Department University of Pennsylvania 3300 Walnut St. Philadelphia, PA 19104 Email:
[email protected] Phone: 215-573-2821 Fax: 215-898-0587
20101029099
DEFENSE TECHNICAL INFORMATION CENTER
DTIC® has determined on >£
