Information Flow Type System for Proof Carrying Code
Abdulrahman Muthana, Abdul Azim, A.P.Dr.Wasan Qasim Ghani, Ramlan Mahmod, Hasan Selamat · 2007
Summary Proof Carrying Code (PCC) is a promising new technology for enforcing security policies. We present an information flow type system for RISC-style assembly language that enforces confidentiality through noninterference. Based on the security-type system, the PCC can be used for checking untrusted code for noninterference, and thus enabling end-users to protect their confidential data.