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	Modern Standard-based Access Control in Network Services: XACML in action
Author	Piervito G. Scaglioso, Cataldo Basile, Antonio Lioy
Citation	Vol. 8  No. 12  pp. 296-305
Keywords	Security Policy, Authorization, Access Control, XACML

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