离散事件系统的不透明性验证与转换问题研究.pdfVIP

摘要

离散事件系统是由异步离散事件驱动状态演化的、具有离散状态特征的一类重要

的信息物理系统，其信息安全与隐私被表征为不透明性，描述的是一个系统的秘密信

息不被外部入侵者发现的能力。在标准框架下，不同类型的不透明性概念相继被提出。

然而，对于一些实际工程系统，由于传感器故障、传感器限制、数据包丢失等原因，

导致事件观测机制依赖于当前状态且输出观测值可能不唯一。因此，在不确定观测框

架下研究离散事件系统的不透明性具有重要意义。基于入侵者完全了解系统结构，标

准不透明性无法保证系统所经过的秘密状态不被泄露，不能满足更高的安全隐私需求。

为此，几种类型的强不透明性概念相继被提出。此外，为了更好的理解不同类型不透

明性概念之间的差异，不透明性概念之间的比较及转换方法也相继被研究。然而，存

在的转换方法皆是针对标准不透明性概念的，研究强不透明性和标准不透明性之间的

转换同样具有重要意义。基于此，论文主要工作包括以下两方面内容：

(1)针对不确定观测框架下的离散事件系统，定义了两种类型的不透明性，分别

称为无限步不透明性和K步不透明性。针对这两种不透明性的验证问题，采用矩阵半

张量积这一新颖技术，建立了基于矩阵形式的当前状态估计器。基于建立的状态估计

器，分别给出验证无限步不透明性和K步不透明性的矩阵判据，并分析了所设计验证

方法的计算复杂度。

(2)讨论了标准框架下的强当前状态不透明性和标准无限步不透明性之间的转换

问题。首先，实例说明了这两种不透明性概念是不可比较的。其次，提出两种构造方

法分别实现了强当前状态不透明性到标准无限步不透明性的转换和标准无限步不透

明性到强当前状态不透明性的转换，并对所构造转换方法的可行性进行了分析。

关键词：离散事件系统；有限状态自动机；不确定观测；不透明性；矩阵半张量积；

验证与转换

ABSTRACT

Discrete-eventsystemsareanimportantclassofinformationcybersystemsthatevolve

statedrivenbyasynchronousdiscreteeventsandhavediscretestatecharacteristics.Their

informationsecurityandprivacyarecharacterizedasopacity,whichdescribestheabilityof

asystemssecretinformationnottobediscoveredbyexternalintruders.Underthestandard

framework,differenttypesofopacityconceptshavebeenproposedoneafteranother.

However,forsomepracticalengineeringsystems,theeventobservationmechanismdepends

onthecurrentstateandtheoutputobservationvaluesmaynotbeuniqueduetosensorfailures,

sensorlimitations,packetlossandotherreasons.Therefore,itisofgreatsignificancetostudy

theopacityofdiscrete-eventsystemsunderthenondeterministicobservationframework.

Sincetheintrudersfullyunderstandthesystemstructure,standardopacitycannotguarantee

thatthesecretstatepassedbythesystemwillnotberevealed,andcannotmeetthehigher

securityandprivacyrequirements.Forthisrea