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 Declarative Approach for Easy Specification and Automated Enforcement of Security Policy
Author	H?di Hamdi, Adel Bouhoula, Mohamed Mosbah
Citation	Vol. 8  No. 2  pp. 60-71
Keywords	Declarative Approach, Automated Enforcement, Security Policy

Title	Modeling Access Control Resource Based on Process Algebra
Author	Wang Lisong, Qin Xiaolin, Ding Qiulin
Citation	Vol. 10  No. 3  pp. 173-176
Keywords	process algebra, access control resources, security policy

Title	On the three levels security policy comparison between PCA and SVM
Author	A. Radi, A. Kartit, B. Regragui, M. El Marraki, D. Aboutajdine, A. Ramrami
Citation	Vol. 11  No. 2  pp. 69-79
Keywords	Intrusions detection, Security policy, Support vector machine, Principal component, Classification