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
The Architectural Review of Web Security in Static and Dynamic Analysis
Raymond Wu, Masayuki Hisada
Vol. 9 No. 8 pp. 277-286
vulnerability, web security, validation, tracking, dominant, static analysis, dynamic analysis, automata