To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Fast and Automatic Verification of Authentication and Key Exchange Protocols |
|
Author |
|
| Citation |
Vol. 11 No. 4 pp. 1-13 |
|
Keywords |
Security Verification Method, Authentication and Key Exchange Protocols, Verification Points, Bellare et al.'s Model |
|
Title |
Robustness Analysis for Sensor Networks against a Node-Destruction Attack |
|
Author |
|
| Citation |
Vol. 12 No. 6 pp. 10-17 |
|
Keywords |
Sonsor Network, Robustness, Security, Node-Destruction, Master Node |
|
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 |
