Title	Formal Network Designs for Critical Network Security Systems
Author	Dea-Woo Park
Citation	Vol. 6  No. 4  pp. 172-178
Keywords	Critical Systems, Risk Management, Security Requirements, Security Policy, Formal Methods

Title	A study about dynamic intelligent network security systems to decrease by malicious traffic
Author	Dea-Woo Park
Citation	Vol. 6  No. 9  pp. 193-199
Keywords	DDoS, Firewall, Hacker Attack, IPS, Network Security

Title	Security Vulnerability Analysis and Forensic Data Research to Attacks on Mobile Stock Trading System in WiBro Network
Author	Woo-Sung Chun, Dea-Woo Park
Citation	Vol. 9  No. 12  pp. 291-298
Keywords	WiBro, Vulnerability, Forensic, Hacker Attack, DDoS