A Method for Topology Conformance Tests under Logical Constraints
Common Criteria(CC) provides only the standard for evaluating information security product or system. Conformance test is considered from a statistical point of view, while the determination of whether the topology is consistent with the standard depends on a conformance test. CC based topology conformance test is in trouble without an effective method. In this paper, a method for topology conformance test was presented and an algorithm for topology conformance test under logical constraints was introduced. In our method, the topology is described by a matrix and the logical constraints are stored using Binary Decision Diagrams (BDDs) data structure. From the experimental results, we can see the method is efficient enough for topology conformance test.
topology topology conformance logical constrants
Jianwu Zhang Guoai Xu Yixian Yang Shize Guo
National Engineering Laboratory for Disaster Backup and Recovery, Beijing University of Posts and Te National Engineering Laboratory for Disaster Backup and Recovery, Beijing University of Posts and Te
国际会议
北京
英文
1-5
2010-06-25（万方平台首次上网日期，不代表论文的发表时间）