Title	Design of the Kernel Hardening Function in the Linux Network Module
Author	Seung-Ju Jang
Citation	Vol. 6  No. 8  pp. 135-140
Keywords	Kernel Hardening, Linux, Network Module, ASSERT() macro

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	Design of the Security Module for Safe Data Sending in a Web System
Author	Seung-Ju Jang
Citation	Vol. 7  No. 8  pp. 82-86
Keywords	Security Module, Web Security, LSP protocol, Server Security, Client Security

Title	Design of the Light Weight Linux O.S on the DOM Memory
Author	Seung-Ju Jang
Citation	Vol. 8  No. 3  pp. 234-239
Keywords	DOM, Light Weight Linux