吉林大学学报（理学版）2016，Vol.54Issue(1)：112-115,4.DOI:10.13413/j.cnki.jdxblxb.2016.01.19
基于谓词推理的冲突检测算法
Conflict Detection Algorithm Based on Predicate Reasoning
摘要
关键词
基于策略的网络管理/谓词推理/冲突检测Key words
policy based network management/predicate reasoning/conflict detection分类
信息技术与安全科学引用本文复制引用
刘洁群..基于谓词推理的冲突检测算法[J].吉林大学学报（理学版）,2016,54(1):112-115,4.基金项目
安徽省高校自然科学研究重点项同(批准号:KJ2014A212). （批准号:KJ2014A212）
