吴正江，姚 琪，冯四风，顾 青

（1.河南理工大学 计算机科学与技术学院，河南 焦作 454000；2.普华诚信信息技术有限公司，上海 201499）

0 概述

通过分析近几年发生的网络安全事件可以发现，攻击者利用软件系统存在的漏洞或后门进行网络攻击是常见的攻击方式，而传统防御机制注重系统边界防御［1-2］。攻击者一旦通过边界防御，则被系统认为是内部用户，认定其不会对系统造成威胁。可见，传统防御机制过于信任内部用户、事和物，忽略了系统内部安全性，从而加大内部被攻击和注入的概率［3-4］。为应对传统防御机制中的安全缺陷，邬江兴［5］提出网络空间拟态防御，结合动态异构冗余架构［6］、调度策略［7-9］和裁决策略［10-11］，通过动态调整内部环境，达到主动防御外部攻击并发现内部威胁的目标［12-13］。在面对内部攻击/注入时，裁决策略判断执行体是否可信，若不可信则通过负反馈机制下线异常执行体进行清洗恢复。裁决策略作为复制控制方法及屏蔽故障的复本技术，在系统容忍入侵时发挥关键作用［14-16］。

现有的裁决策略主要有自适应的一致性表决算法［17］、自检测多数一致表决算法［18］、基于执行体异构度的一致表决拟态裁决优化方法等［19］，系统运行时间为异构冗余执行体中最长，且仲裁效率也较低。竞赛式多数一致表决模型［20］对领先的输出结果执行仲裁，通过增加执行体数量提高仲裁效率，但仲裁结果的正确性无法保证，仲裁可能会出现差模逃逸现象。数据库日志记录了数据库内部执行的所有操作信息。……