不透明性是一种基于信息流的安全属性,用于表征一个系统在运行时隐藏秘密状态不被外部观察者揭示的能力。入侵者是被动外部观察者,拥有恶意目的,秘密状态被揭示会招致入侵者对系统的攻击,对个人或企业造成损失。随着信息化建设飞速发展,信息安全受到更多关注。离散事件系统的不透明性适用于网络系统中多数安全和隐私问题。如果入侵者能够直接或间接观测到系统秘密状态,需要人为控制系统,阻止入侵者获取机密信息。强制不透明机制是一种用于保证系统不透明的保护措施,系统通常采用强制不透明机制作为外部接口,通过更改系统输出行为,隐藏系统秘密状态,保障系统不透明性。离散事件系统可通过有限状态自动机构建模型,定义系统状态和变迁事件,基于变迁事件的可观性定义系统不透明性。本文以存在多个拥有不同可观事件并且可以相互通讯的入侵者为条件,设置入侵者之间使用称为“交叉协议”的通讯协议作为入侵者的协同方式,设计保证系统在入侵者协同下当前状态不透明的强制不透明机制,并基于该机制寻找代价最小的成本最优强制不透明策略。首先,在自动机模型中,存在众多用于构建强制不透明机制的基本方法,其中非确定性编辑函数通过插入或删除事件改变系统的输出,同时满足能够处理系统语言中所有字符串的要求,并保证编辑后的结果是安全字符串,隐藏系统到达的秘密状态,使得更改系统行为的能力更加多样化,是一种较为主流的方法选择。本文基于非确定性编辑函数和利用交叉协议进行通讯的入侵者,对协同当前状态不透明概念进一步细分,提出一种注重入侵者具体协同团队的局部协同当前状态不透明定义,并拓展出与协同当前状态不透明等价的完全协同当前状态不透明定义,提出一种多项式级别空间复杂度的算法,利用非确定性编辑函数以保证入侵者协同情况下强制系统当前状态不透明,并示例说明该方法的可行性。其次,可行的非确定性编辑函数嵌入在被称为全编辑结构的特殊有向图中,多入侵者协同情况下各个入侵者对于各自可观事件拥有不同的编辑决策成本,但是编辑决策通过同一个全编辑结构作出,基于该结构,本文提出一种成本函数用于量化协同编辑决策成本,并构建与全编辑结构等价的数据结构模型,基于Karp定理计算有环系统编辑策略的最大平均成本作为编辑策略成本优劣的比较参数,给出求解全编辑结构中蕴含的最优编辑策略的算法,保留成本最优的运行路径。