首页|Security Policy Modeling using Z notation for Common Criteria version 3.1
Security Policy Modeling using Z notation for Common Criteria version 3.1
扫码查看
点击上方二维码区域，可以放大扫码查看
原文链接
NETL
The Common Criteria for Information Technology Security Evaluation (CC) is an international standard for evaluating secure computer systems。 To obtain high Evaluation Assurance Level， CC requires formalism in the Development class。 In the Security Policy Modeling of CC v3。1， the use of formal methods is mandatory。 This paper gives a guideline for developing formal security policy model with Z notation in CC v3。1。 We compare CC v3。1 to CC v2。3 with respect to security policy model。 We explain a structure of formal security policy model written in Z， and provide a formal security policy model of a smart card operating system as an example。
Common CriteriaSecurity Policy ModelZ Notation
Junkil Park、Jin-Young Choi
展开 >
Theor. & Formal Methods Lab.
Gangwon-Do,Korea (South)
Advanced Communication Technology, 2009 11th International Conference on
NETL
