To search, Click below search items.

 

All Published Papers Search Service

Results for Static Analysis; Total 2

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

Keywords

Information-Flow, Proof Carrying Code, Type system, Static Analysis, Noninterference, Assembly Language


Title

The Architectural Review of Web Security in Static and Dynamic Analysis

Author

Raymond Wu, Masayuki Hisada

Citation

Vol. 9  No. 8  pp. 277-286

Keywords

vulnerability, web security, validation, tracking, dominant, static analysis, dynamic analysis, automata


[1]