To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Information Flow Type System for Proof Carrying Code |
|
Author |
Abdulrahman Muthana, Abdul Azim Abd Ghani, Ramlan Mahmod, Hasan Selamat |
| Citation |
Vol. 7 No. 7 pp. 177-183 |
|
Abstract |
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. |
|
Keywords |
Information-Flow, Proof Carrying Code, Type system, Static Analysis, Noninterference, Assembly Language |
|
URL |
