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;...
Topics: DTIC Archive, Chong,Stephen, Harvard University Cambridge United States, computer network security,...