×
侯俊尧；尹、香；李绍元

动态信息发布机制下的当前状态不透明框架。 （英语） Zbl 1485.93346号

Automatica公司 140，文章ID 110238，12 p.（2022）.
摘要：不透明度是一种重要的信息流安全属性，它表征了动态系统对窃听攻击的“秘密”的似是而非的否认性。作为一种信息流属性，底层观测模型是不透明度建模和分析的关键。在本文中，我们研究了在Orwellian型观测下离散事件系统当前状态不透明度的验证，即允许系统根据其未来后缀重新解释事件的观测。首先，我们提出了一种新的奥威尔型观测模型，称为动态信息发布机制（DIRM）。在DIRM中，何时发布之前的“保持”事件取决于状态。然后，我们基于历史等效性的概念而不是标准投影等效性，提出了不透明度的新定义。此定义更适用于非前缀闭合的观测。最后，我们证明了通过构造一种称为DIRM观测器的新结构，可以在DIRM下有效地验证当前状态的不透明度。还提供了该方法的计算复杂性分析和示例。与现有的Orwellian型观测模型相比，该框架更具一般性，因为信息释放机制是状态依赖的，信息是部分释放的，相应的不透明度定义更适合非精确闭合观测。

MSC公司：

93元65角 离散事件控制/观测系统
93B53号 观察员

关键词：

不透明度；离散通风系统；安全；信息发布

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Hou}等人，Automatica 140，文章ID 110238，12 p.（2022；Zbl 1485.93346）
全文： 内政部 arXiv公司

参考文献：

[1] An，L。；Yang，G.-H.，线性网络物理系统中保密鲁棒控制的不透明强制，IEEE自动控制汇刊，65，31234-1241（2020）·Zbl 07256246号
[2] 巴伦，J。；Masopus，T.，《关于离散事件系统的不透明度验证》（2019），arXiv:1912.07314
[3] Barcelos，R.J。；Basilio，J.C.，《通过事件观察中的混乱来加强当前状态的不透明性》，IFAC-PapersOnLine，51，7，100-105（2018）
[4] Behinaein，B。；林，F。；Rudie，K.，离散事件系统中混合不透明度的最佳信息发布，IEEE自动化科学与工程学报，16，4，1960-1970（2019）
[5] Ben Hadj-Alouane，N。；拉夫兰，S。；林，F。；马林斯，J。；Yeddes，M.，《描述具有可观测性的三域安全策略的不可传递不干扰特征》，IEEE自动控制汇刊，50，6，920-925（2005）·Zbl 1365.94480号
[6] Ben Hadj Alouane，北卡罗来纳州。；拉夫兰，S。；林，F。；马林斯，J。；Yeddes，M.，《关于验证非及物不干涉多级安全》，IEEE系统、人与控制论汇刊，B部分（控制论），35，5，948-958（2005）
[7] 贝拉德。；Mullins，J.，《理性观察下信息流特性的验证》（2014），arXiv:1409.0871
[8] 布莱恩斯，J.W。；库特尼，M。；马扎雷，L。；Ryan，P.，《过渡系统的不透明度概述》，《国际信息安全杂志》，第7、6、421-435页（2008年）
[9] 布莱恩斯，J.W。；库特尼，M。；Ryan，P.，使用Petri网建模不透明度，理论计算机科学电子笔记，121101-115（2005）·Zbl 1272.68292号
[10] 卡桑德拉斯，C.G。；Lafortune，S.，离散事件系统简介（2008），Springer·Zbl 1165.93001号
[11] 卡塞兹，F。；Dubreil，J。；Marchand，H.，《带有静态和动态掩模的不透明系统的合成》，系统设计中的形式方法，40，1，88-115（2012）·Zbl 1247.68161号
[12] 陈，J。；易卜拉欣，M。；Kumar，R.，部分观测随机离散事件系统中保密性的量化，IEEE自动化科学与工程学报，14，1，185-195（2017）
[13] 楚，C。；朱伟。；Han，J。；Liu，J.K。；徐，J。；Zhou，J.，流行云存储服务中的安全问题，IEEE普适计算，12，4，50-57（2013）
[14] 丛，X。；范蒂，M.P。；曼吉尼，A.M。；Li，Z.，用Petri网和整数线性规划对初始状态不透明度进行在线验证，ISA Transactions，93，108-114（2019）
[15] Dubreil，J。；Darondeau，P。；Marchand，H.，《不透明性的监督控制》，IEEE自动控制交易，55，5，1089-1100（2010）·Zbl 1368.93372号
[16] Falcone，Y。；Marchand，H.，《不透明度各种概念的实施和验证》，离散事件动态系统，25，4，531-570（2015）·Zbl 1400.94143号
[17] Hadjicostis，C.N.，《离散事件系统中的估计和推断》（2020年），施普林格出版社·Zbl 1436.93002号
[18] 雅各布，R。；Lesage，J.-J。；Faure，J.-M.，《离散事件系统不透明度概述：模型、验证和量化》，《控制年度审查》，41135-146（2016）
[19] 纪毅。；尹，X。；Lafortune，S.，《在多重能量约束下通过插入函数强制不透明度》，Automatica，108，第108476条，pp.（2019）
[20] 科洛格鲁，C。；Hadjicostis，C.N.，离散事件系统中的概率系统不透明性，离散事件动态系统，1-26（2017）
[21] Lafortune，S。；林，F。；Hadjicostis，C.N.，《离散事件系统的可诊断性和不透明度历史》，《控制中的年度回顾》，45，257-266（2018）
[22] Lin，F.，离散事件系统的不透明度及其应用，Automatica，47，3，496-503（2011）·Zbl 1216.93020号
[23] 林，F。；Chen，W。；Wang，W。；Wang，F.，网络离散事件系统中的信息控制及其在电池管理系统中的应用，离散事件动态系统，1-26（2020）
[24] 刘，R。；梅，L。；Lu，J.，\（K\）-不透明增强的内存嵌入插入机制，系统与；amp；amp；amp；amp；amp；amp；amp；amp；《控制信函》，第145页，第104785条，pp.（2020）·Zbl 1454.93163号
[25] 刘，S。；Zamani，M.，通过屏障证书验证近似不透明度，IEEE控制系统快报（2020年）
[26] Mohajerani，S。；纪毅。；Lafortune，S.，《不透明度执行编辑功能合成的合成和基于抽象的方法》，IEEE自动控制事务，65，8，3349-3364（2020）·Zbl 07256445号
[27] Mohajerani，S。；Lafortune，S.，在模块化系统中将不透明性验证转换为非阻塞性验证，IEEE自动控制汇刊，65，4，1739-1746（2020）·Zbl 07256296号
[28] 马林斯，J。；Yeddes，M.，《奥威尔观测者的不透明度与不及物不干涉》（第12届离散事件系统国际研讨会（2014年）），344-349
[29] 拉马苏布拉曼尼亚语，B。；克莱维兰，W.R。；Marcus，S.，线性系统中集中式和分散式不透明度的概念，IEEE自动控制汇刊，265，4，1442-1455（2020）·Zbl 07256268号
[30] 萨达维，I。；李，Z。；Wu，N.，部分观测Petri网中的当前状态不透明度建模和验证，Automatica，116，第108907页，（2020）·Zbl 1440.93024号
[31] 萨布里，A。；Hadjicostis，C.N.，《（K）阶跃不透明度的验证及其复杂性分析》，IEEE自动化科学与工程学报，8，3，549-559（2011）
[32] 萨博里，A。；Hadjicostis，C.N.，《无限步不透明度和复杂性考虑的验证》，IEEE自动控制汇刊，57，5，1265-1269（2012）·Zbl 1369.93110号
[33] 萨布里，A。；Hadjicostis，C.N.，《离散事件系统安全应用中初始状态不透明度的验证》，信息科学，246115-132（2013）·Zbl 1320.68119号
[34] 萨纳姆拉德，T。；Kossmann，D.，加密数据库的查询日志攻击，（安全数据管理研讨会（2013），Springer），95-107
[35] Takai，S。；Oka，Y.，监管中产生的上可控和不透明子语言的公式，SICE控制、测量和；amp；amp；amp；amp；amp；amp；amp；amp；系统集成，1，4，307-311（2008）
[36] 托斯利，D。；Teneketzis，D.，《离散事件系统诊断和监控信息的主动获取》，离散事件动态系统，17，4，531-583（2007）·兹比尔1125.93322
[37] Tong，Y。；李，Z。；西特祖，C。；Giua，A.，使用Petri网验证基于状态的不透明度，IEEE自动控制事务，62,62823-2837（2017）·Zbl 1369.68265号
[38] Wang，W。；Lafortune，S。；Girard，A.R。；Lin，F.，诊断离散事件系统的最佳传感器激活，Automatica，46，7，1165-1175（2010）·Zbl 1194.93140号
[39] 吴永川。；Lafortune，S.，《集中式和协调式体系结构中不透明度相关概念的比较分析》，离散事件动态系统，23，3，307-339（2013）·Zbl 1272.93084号
[40] Yeddes，M.，《用奥威尔观察加强不透明性》（2016年第13届离散事件系统国际研讨会（2016年），IEEE），306-312
[41] 尹，X。；Lafortune，S.，《使用双向观测器验证无限步和（K）步不透明度的新方法》，Automatica，80，162-171（2017）·Zbl 1370.93174号
[42] 尹，X。；Lafortune，S.，优化离散事件系统动态传感器激活的通用方法，Automatica，105376-383（2019）·Zbl 1429.93231号
[43] 尹，X。；Li，S.，无限级不透明度动态掩模的合成，IEEE自动控制汇刊，65，4，1429-1441（2020）·Zbl 07256267号
[44] 尹，X。；李，Z。；Wang，W。；Li，S.，随机离散事件系统的无限步不透明度和（K）步不透明度，Automatica，99，266-274（2019）·Zbl 1406.93207号
[45] 尹，X。；Zamani，M。；Liu，S.，《论网络物理系统的近似不透明性》，IEEE自动控制汇刊，66，4，1630-1645（2021）·Zbl 07352214号
[46] 曾伟。；Koutny，M.，云计算系统不透明度的定量分析，IEEE云计算汇刊（2019年）
[47] 张，B。；舒，S。；Lin，F.，《确保离散事件系统不透明度的最大信息发布》，IEEE自动化科学与工程学报，12，4，1067-1079（2015）
[48] 辛克·G。；里克尔。；马尚德，H。；Hélouöt，L.，《在模块化系统中实施不透明性》（IFAC世界大会（2020））
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。