To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
|
|
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 |
Check Points against Privacy Breaches in Android Applications |
|
Author |
Kazuhide Fukushima, Lujo Bauer, Limin Jia, Shinsaku Kiyomoto, Yutaka Miyake |
| Citation |
Vol. 12 No. 8 pp. 1-10 |
|
Keywords |
Information-flow analysis, Software Verification, System Security, Software Security, Android Security |
