DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD1016227
Title:
Integrating Programming Language and Operating System Information Security Mechanisms
Corporate Author:
Harvard University Cambridge United States
Report Date:
2016-08-31
Abstract:
This grant aims to improve the guarantees offered by both language-based information security mechanisms, and operating system information security mechanisms. It seeks to do so by investigating interactions between language-based and OS mechanisms for information security, and exploiting these interactions both to improve the precision of security enforcement, and to provide greater assurance of information security. This grant focuses on two key projects language-based control of authority and formal guarantees for the correctness of audit information.
Descriptive Note:
Technical Report,01 Jun 2013,31 May 2016
Pages:
0012
Distribution Statement:
Approved For Public Release;
File Size:
0.71MB
