检索结果-内蒙古大学图书馆

物联网、通信网络、计算机网络等系统都具有信息的传递与共享,保证这些信息不被非法获取是系统安全性的重要组成。近年来,人们对信息安全的关注促进了系统安全性形式化方法的研究,研究者们提出了不干涉性、匿名性、隐蔽性等不同概念。其中隐蔽性这一性质被证明更具一般性,例如不干涉性、匿名性等均可规约为隐蔽性。隐蔽性描述了系统信息流的缺失。具体而言,系统具有隐蔽性意味着无论入侵者的观测到什么都无法推知出系统的敏感信息(称为“秘密”)。在离散事件系统中,根据秘密的不同定义,隐蔽性主要可分为当前状态隐蔽性、初始状态隐蔽性、语言隐蔽性等。受限于传感器功能、信息传递方式等约束,系统的行为一般无法完全被外界所感知,包括试图非法获得系统敏感信息的入侵者。要对离散事件系统进行建模和分析首先要有强有力的离散事件系统建模工具能描述外界对系统的不同观测行为。其次,由于状态爆炸问题,通过穷举所有可能状态的隐蔽性分析方法对大规模系统并不适用。设计更为高效、可实现的系统安全性分析方法尤为重要。最后,对于不具有隐蔽性的系统,如何通过控制系统行为避免秘密的泄露也是隐蔽性研究的一个重要课题。因此,本论文主要研究了离散事件系统模型的观测结构以及基于离散事件系统模型的系统隐蔽性分析与控制,主要研究成果如下:***网是系统建模的有效数学和图形工具。为了拓展现有Petri网观测结构,在本论文中我们提出了具有输出的标记Petri网(LPNOs)和动态标记Petri网(ALPNs)两种Petri网模型,并对其建模能力进行了研究。我们证明了相比其它Petri网模型而言,LPNOs与ALPNs具有最高的建模能力。因此,这两种新模型的提出大大扩展了 Petri网的应用范围。为了研究具有不同观测结构的Petri模型间的相互关系,我们进一步提出了观测等价的概念,研究了不同模型间的等价转换,并提出了相应的转换算法。2.本论文给出了Petri网模型下当前状态隐蔽性、初始状态隐蔽性、语言隐蔽性的严格定义。然后,详细比较了这三种隐蔽性在Petri网模型中与自动机模型中的区别。对于语言隐蔽性,我们提出了严格语言隐蔽性的概念,这一概念既能形式化原有语言隐蔽性概念又能更灵活地描述当入侵者只关注部分事件时的系统隐蔽性。3.研究者们已经证明了有界Petri网系统的隐蔽性验证是可判断的,但是对于无界网系统并没有严格的结论。本论文证明了在Petri网模型下,当前状态隐蔽性、初始状态隐蔽性、语言隐蔽性的验证是不可判定的,也就是说并不存在一般性算法能对任意Petri网系统的隐蔽性进行验证。因此对于Petri网系统隐蔽性验证的研究可集中于有界网系统。4.离散事件系统模型下,已有系统当前状态隐蔽性和初始状态隐蔽性验证的方法都必须列举系统所有可能的状态,因此对于大规模系统不可避免地会遇到状态爆炸问题。基于基本标识图,本论文对有界Petri网系统提出了更为有效的当前状态和初始状态隐蔽性的验证方法。所提方法只需要列举基本标识,即很小一部分可达标识,其他标识均可用一组线性等式表示。最后通过解整数线性规划可以有效地判定系统的当前状态和初始状态隐蔽性。从而有效地避免了状态爆炸问题,对于验证大规模系统的隐蔽性也是可行的。对于严格语言隐蔽性,我们提出了验证器这一新的结构进行判定。验证器采用系统与秘密并行运行的思路,无需对非秘密变迁序列进行验证。同时,验证器的构造是基于最小释义序列的,因此避免了列举所有的变迁发射序列,算法效率得到进一步提高。5.如果系统不具有当前状态隐蔽性,一个重要问题是如何设计控制器以保障系统的隐蔽性。针对这一问题研究者们已经提出了一些有效的控制器设计算法,但前提是必须假设控制器与入侵者的可观事件集之间存在包含或者被包含的关系。显然,在大多数实际情况下这样的包含关系并不一定成立。基于有限状态自动机模型,我们提出了一种被称为“扩展入侵者观测器”的新结构,利用该结构可以有效计算出系统所有具有隐蔽性的行为。基于该结构和监督控制理论,在本论文中我们提出了新的控制器设计算法。该算法移除了控制器与入侵者可观事件集之间需具有一定包含关系的约束,在保障系统当前状态隐蔽性的同时保证了受控系统的行为是最大许可的。最后,在总结本论文工作的基础上,对离散事件系统观测结构与隐蔽性研究的未来工作进行了展望。

关键词：离散事件系统 Petri网隐蔽性信息安全自动机监督控制理论

来源：评论

学校读者我要写书评

暂无评论

离散事件系统的协调反馈控制

引用

控制理论与应用 1994年第6期11卷 738-742页

作者：原忠虎徐心和东北大学自动控制系

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法．由Ｎ现行状态反馈决定的ＰＮＩＰ的控制... 详细信息

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法．由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态，既保证Ｎ避免禁止状态，又使Ｎ具最大自由度．

关键词：离散事件系统 Petri网协调反馈控制

来源：评论

学校读者我要写书评

暂无评论

格理论在离散事件系统监控中的应用

引用

东北大学学报（自然科学版） 1998年第3期19卷 255-258页

作者：戴连贵张纪会徐心和东北大学控制仿真研究中心

利用格理论给出了给定语言的上限能控子语言，上限闭子语言和上限Ｌｍ（Ｇ）闭子语言的存在性和算法．

关键词：离散事件系统格理论能控子语言

来源：评论

学校读者我要写书评

暂无评论

一类离散事件系统的监控器综合

引用

控制理论与应用 2007年第4期24卷 621-624页

作者：罗继亮吴维敏董利达苏宏业褚健华侨大学信息科学与工程学院福建泉州362011 浙江大学先进控制研究所工业控制技术国家重点实验室浙江杭州310027

前向无同步前向无冲突网是每个变迁有且只有一个输入库所并且每个库所最多有一个输入变迁的受限Petri网.针对不可控影响子网为前向无同步前向无冲突网的广义互斥约束,显式地给出了最大允许控制策略的计算方法.并用一个例子给予了说明.

关键词：离散事件系统监控 Petri网

来源：评论

学校读者我要写书评

暂无评论

基于规则的离散事件系统模型与规则匹配研究

引用

系统仿真学报 2008年第6期20卷 1394-1396页

作者：韩江洪 ZHANG Ya-qiong 魏振春 LU Yang 孙安合肥工业大学计算机与信息学院安徽合肥230009 安全关键工业测控技术教育部工程研究中心合肥 230009 合肥工业大学计算机与信息学院安徽合肥230009

将专家系统中的产生式规则表示方法和规则匹配策略引入离散事件系统的控制过程中,研究规则式描述离散事件系统的逻辑关系,按照被动对象划分规则集,形成结构化的规则库;利用正向规则锁定-反向匹配方法缩小规则集的搜索范围,提高规则匹配... 详细信息

将专家系统中的产生式规则表示方法和规则匹配策略引入离散事件系统的控制过程中,研究规则式描述离散事件系统的逻辑关系,按照被动对象划分规则集,形成结构化的规则库;利用正向规则锁定-反向匹配方法缩小规则集的搜索范围,提高规则匹配的效率,为实现复杂系统的控制提供一种可行方案.

关键词：离散事件系统产生式规则规则库规则匹配

来源：评论

学校读者我要写书评

暂无评论

离散事件系统任务处理瓶颈分析

引用

系统工程学报 1998年第3期13卷 20-27页

作者：王加存南京理工大学自动控制系

Ｐｅｔｒｉ网是离散事件系统建模与分析的有效工具之一．本文介绍了随机Ｐｅｔｒｉ网瓶颈的概念，给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型，研究了具有多路输入源之ＳＰＮ的瓶颈与处理能力分析的快速算法，讨论了在处理能力... 详细信息

Ｐｅｔｒｉ网是离散事件系统建模与分析的有效工具之一．本文介绍了随机Ｐｅｔｒｉ网瓶颈的概念，给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型，研究了具有多路输入源之ＳＰＮ的瓶颈与处理能力分析的快速算法，讨论了在处理能力等价意义下将一类结构有决策且有环的ＳＰＮ变换成结构无决策且无环的ＳＰＮ的实现方法．最后给出了一个防空指挥控制系统信息处理瓶颈与处理能力分析的实例．

关键词：离散事件系统随机Petri网瓶颈任务处理数学模型指挥控制

来源：评论

学校读者我要写书评

暂无评论

离散事件系统仿真建模与仿真策略

引用

西南师范大学学报（自然科学版） 2005年第6期30卷 1019-1025页

作者：刘勇王德才冯正超重庆邮电学院学报编辑部重庆400065 防化指挥工程学院信息技术与仿真教研室北京102205

离散事件系统仿真是现代仿真技术的主要研究热点之一．离散事件系统是一类在工程技术、经济、军事等领域常见的系统,它们的状态在一些不均匀的离散时刻发生变换且状态变换的内部机制比较复杂,往往无法用常规的数学方法来描述．离散事件... 详细信息

离散事件系统仿真是现代仿真技术的主要研究热点之一．离散事件系统是一类在工程技术、经济、军事等领域常见的系统,它们的状态在一些不均匀的离散时刻发生变换且状态变换的内部机制比较复杂,往往无法用常规的数学方法来描述．离散事件系统仿真是当前研究这一类系统的最有用处的方法之一．要对系统进行仿真研究,首先需要建立系统的仿真模型．笔者比较详细地探讨了离散事件系统仿真建模的核心——仿真流程管理、离散事件系统的三种仿真建模策略,即:事件调度法、活动扫描法、进程交互法．

关键词：离散事件系统仿真建模仿真策略系统仿真事件调度法活动扫描法进程交互法

来源：评论

学校读者我要写书评

暂无评论

离散事件系统中混淆策略下的隐蔽性强制执行问题研究

离散事件系统中混淆策略下的隐蔽性强制执行问题研究

引用

作者：刘荣健东南大学

学位级别：博士

随着计算机和网络不断融入到我们生活中,网络安全问题越来越受到人们的重视。从居民个人身份信息的保护到国家网络安全的维护需求一直在推动着网络空间安全相关问题的研究。安全形式化方法作为研究网络空间安全的工具之一,持续受到人们... 详细信息

随着计算机和网络不断融入到我们生活中,网络安全问题越来越受到人们的重视。从居民个人身份信息的保护到国家网络安全的维护需求一直在推动着网络空间安全相关问题的研究。安全形式化方法作为研究网络空间安全的工具之一,持续受到人们的关注。隐蔽性是一个重要的网络安全属性,它指系统的敏感信息是否可以被外部观察者(如入侵者)所推知。在离散事件系统中,隐蔽性概念主要包括当前状态隐蔽性、语言隐蔽性、初始状态隐蔽性、初始-末端状态隐蔽性、K步隐蔽性和无限步隐蔽性等。当一个离散事件系统被证实是非隐蔽时,各种方法被提出用来综合保证系统的隐蔽性,如监督控制策略,动态模板策略和混淆策略等。其中混淆策略主要通过插入函数或编辑函数对系统的输出行为进行修改以保护系统的秘密语言。本文的主要研究成果如下:1.本文首先研究了基于公有插入函数的当前状态隐蔽性隐蔽性强制执行综合问题,提出了综合公有插入函数方法。这种方法是基于修订后的可执行性定义以及改进的贪婪准则而设计的。本文提出的算法是可行并且完备的,可用于完全解决公有插入函数的综合问题。此外,本文提出的程序算法简化了私有执行插入函数的设计步骤并证明在某些特殊情况下可以在低计算复杂度下综合私有强制执行插入函数(或公有强制执行插入函数)。2.本文又研究了基于插入函数的无限步隐蔽性和K步隐蔽性综合强制执行问题。我们首先审视了现有的插入机制,并从纯自动机的角度来理解插入机制,然后建立两个新的自动机来分别识别无限步隐蔽性安全语言和K步隐蔽性安全语言。最后将插入机制应用到强制执行无限步隐蔽性和K步隐蔽性。相应的,本文也对计算复杂度进行了讨论。本方将插入函数的强制执行从当前状态隐蔽性推广到无限步隐蔽性和K步隐蔽性上来。3.本文还研究了基于属性编辑函数的隐蔽性强制执行问题。在我们所提出的编辑机制中,编辑函数在满足替换函数给出的替换规则下执行插入或替换操作来修改系统的输出行为。此外,只有满足预期接收者身份属性的外部观察者才能够基于插入或者替换区分符号,并根据替换函数来恢复未编辑的原始输出序列。4.在对无限步隐蔽性的强制执行研究中发现,对无限步隐蔽性中不安全语言识别方法的改进也可以应用到随机离散事件系统中的几乎无限步隐蔽性验证中去,从而使几乎无限步隐蔽性的验证计算复杂度得到降低。

关键词：离散事件系统自动机隐蔽性网络空间安全形式化方法

来源：评论

学校读者我要写书评

暂无评论

给定离散事件系统监督器的优化(英文)

引用

控制理论与应用 1993年第3期10卷 271-277页

作者：蒋智平吴智铭上海交通大学自动控制系 200030

本文基于Ramadge和Wonham等人提出的监督器模型,介绍一种新的优化设计思想,它可使监督器的状态数相对最少化并由此提出一个多项式时间算法。最后附以三个例子。

关键词：离散事件系统监督器最佳化

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：