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
Vol. 7 No. 7 pp. 177-183
Keywords
Information-Flow, Proof Carrying Code, Type system, Static Analysis, Noninterference, Assembly Language