Proof-Carrying Code Based Tool for Secure Information Flow of Assembly Programs

Abdulrahman Muthana, Abdul Azim Abd Ghani, Ramlan Mahmod and Hasan Selamat

Journal of Computer Science 5 ( 2 ): 163 - 171 , 2009