Title	Design of Software Security Verification with Formal Method Tools
Author	Seung-Ju Jang, Jungwoo Ryoo, ChangYeol Lee
Citation	Vol. 6  No. 9  pp. 163-167
Keywords	Software Security, Verification, Formal Method Tools, RoZ.

Title	AutoFuzz: Automated Network Protocol Fuzzing Framework
Author	Serge Gorbunov, Arnold Rosenbloom
Citation	Vol. 10  No. 8  pp. 239-245
Keywords	Automated Fuzzing, Software Security, Vulnerability Detection

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

Title	Web Application Vulnerabilities Detection Techniques Survey
Author	Nilesh Khochare, Satish Chalurkar, B.B.Meshram
Citation	Vol. 13  No. 6  pp. 71-75
Keywords	Software assurance, software security, software security assurance tool, web application, vulnerability.