To search, Click below search items.
All Published Papers Search Service
Title
Formal Network Designs for Critical Network Security Systems
Author
Dea-Woo Park
Vol. 6 No. 4 pp. 172-178
Keywords
Critical Systems, Risk Management, Security Requirements, Security Policy, Formal Methods
A Declarative Approach for Easy Specification and Automated Enforcement of Security Policy
H?di Hamdi, Adel Bouhoula, Mohamed Mosbah
Vol. 8 No. 2 pp. 60-71
Declarative Approach, Automated Enforcement, Security Policy
Modeling Access Control Resource Based on Process Algebra
Wang Lisong, Qin Xiaolin, Ding Qiulin
Vol. 10 No. 3 pp. 173-176
process algebra, access control resources, security policy
On the three levels security policy comparison between PCA and SVM
A. Radi, A. Kartit, B. Regragui, M. El Marraki, D. Aboutajdine, A. Ramrami
Vol. 11 No. 2 pp. 69-79
Intrusions detection, Security policy, Support vector machine, Principal component, Classification