网络访问控制配置决定网络安全设备的行为。同配置的访问控制语义存在重合,可能导致配置执行效率降低,甚至引发敏感信息泄露、安全漏洞等。为解决上述问题,本文研究并实现网络访问控制的语义异常消解技术,能够针对具体位置上的相容类型来解决同配置内的语义异常。主要工作概括如下:1.阐述访问控制的语义异常消解技术的研究背景与意义,分析并归纳研究现状,指出现有技术在针对具体位置和具体相容类型消解能力的不足。2.给出语义异常消解的研究思路。首先,按照目标树逐层分解为基本实体,然后,使用笛卡尔积重组实体,生成新的访问控制规则集合,最后,识别出完全冲突和完全冗余的规则。具体如下.:2.1借鉴访问控制语义相容性理论、引入计算网络对抗系统的目标树理论,构造访问控制语义异常消解活动系统。首先,给出其基本活动的行为定义:其次,分析其活动构成及行为特性,从而证明语义异常消解的逻辑可达性;2.2基于语义异常消解系统的活动构成,建立语义异常消解的框架下推自动机,并证明语义异常消解过程终态可达性质;2.3依据终态可达过程,设计异常消解框架算法;并针对框架自动机中的实体分解及实体重组两个转移函数,设计实体分解算法和实体重组算法,并给出它们的复杂度分析。3.运用面向过程的软件开发方法,设计并实现访问控制的语义异常消解原型系统。通过三组实验数据,比较本文算法(SNS算法)与FAME算法,实验结果表明,SNS算法能够针对实体相容类型,通过实体分解,实体重组生成新的访问控制规则集合,最后识别出需要删除的访问控制规则,由管理员负责删除,能够消解FAME无法消解的异常。