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	Vaccine Distribution Path Optimization in Agent-Oriented Worm Defense System
Author	Ye Guo, Miaoliang Zhu
Citation	Vol. 6  No. 4  pp. 166-171
Keywords	Internet Worm; Agent; Network security.

Title	Automatic Identification of Log-curve Formation Based on Wavelet-SVM
Author	Fuhua Shang, Tiejun Zhao, Xiujie Miao
Citation	Vol. 6  No. 4  pp. 162-165
Keywords	Log-curve, process SVM, wavelet transform.

Title	Combining Coordinated and Uncoordinated Checkpoint in Pessimistic Sender-Based Message Logging
Author	Mehdi Aminian, Mohammad k. Akbari, Bahman Javadi
Citation	Vol. 6  No. 4  pp. 156-161
Keywords