×
韩晓光；张奎泽；张家辉；李志武；陈增强

离散事件系统的强电流状态和初始状态不透明度。 （英语） 兹比尔1507.93144

Automatica公司 148，文章ID 110756，8 p.（2023）。
摘要：不透明度是信息流安全中的一个重要属性，它表征了系统对入侵者保密的能力。在离散事件系统中，基于入侵者完全了解系统结构的标准设置，当前状态不透明度和初始状态不透明度的标准版本无法完美描述更高级别的隐私要求。为了克服这种局限性，本文提出了两种更强的不透明度版本，称为强电流状态不透明度和强初始状态不透明度对于部分观测的非确定性有限状态自动机。强当前状态（resp.，initial-state）不透明度描述了系统每次以秘密状态结束（resp..，starting）运行时，都存在一个非秘密运行，其观察结果与前一次运行相同。然后，我们提出了一种使用新的并发合成技术来验证强当前状态不透明度和强初始状态不透明度的信息结构，该结构具有时间复杂性\（mathcal{O}（（|\varSigma||X|^2+|\varSigma_O||X\ setminus X_S|^2（1+|\varSigma_{uo}|））2^{|X\ set minus X-S|}），其中\（|X|\）（resp.，\（|\varSigma|，|\varSigma_o|，|\farSigma_{uo}|，|X\set-mus-X_S|）\）是自动机的状态数（分别是事件、可观察事件、不可观察事件和非机密状态）。最后，该信息结构还用于检查强无限步不透明性，其时间复杂度低于文献中的前一个信息结构。

引用于1文件

MSC公司：

93元65角 离散事件控制/观测系统

关键词：

离散通风系统；强电流状态不透明度；强初始状态不透明度；强无限级不透明度；同时合成

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{X.Han}等人，Automatica 148，文章ID 110756，8 p.（2023；Zbl 1507.93144）
全文： 内政部 arXiv公司

参考文献：

[1] An，L。；Yang，G.，线性网络物理系统中保密鲁棒控制的不透明度实施，IEEE自动控制汇刊，65，3，1234-1241（2020）·Zbl 07256246号
[2] 巴伦，J。；Masopus，T.，比较离散事件系统的不透明度概念，离散事件动态系统，31,4553-582（2021）·Zbl 1480.93256号
[3] Bourouis，A。；Klai，K。；Hadj-Alouane，N.B。；Touati，Y.E.，《关于web服务及其组成中不透明性的验证》，IEEE服务计算汇刊，10，1，66-79（2017）
[4] 布莱恩斯，J.W。；库特尼，M。；马扎雷，L。；Ryan，P.Y.A.，《过渡系统的一般不透明度》，《国际信息安全杂志》，第7、6、421-435页（2008年）
[5] 卡桑德拉斯，C.G。；Lafortune，S.，离散事件系统简介（2008），Springer·兹比尔1165.93001
[6] 丛，X。；范蒂，M.P。；Mangini，A.M。；Li，Z.，用Petri网和整数线性规划对当前状态不透明度进行在线验证，Automatica，94205-213（2018）·Zbl 1401.93043号
[7] 杜布雷尔，J。；Darondeau，P。；Marchand，H.，《不透明性的监督控制》，IEEE自动控制交易，55，5，1089-1100（2010）·Zbl 1368.93372号
[8] Falcone，Y。；Marchand，H.，《不透明度各种概念的实施和验证》，离散事件动态系统，25，4，531-570（2015）·Zbl 1400.94143号
[9] Hadjicostis，C.N.，《离散事件系统中的估计和推断》（2020年），施普林格：施普林格瑞士公司·Zbl 1436.93002号
[10] 韩，X。；张凯。；Li，Z.，离散事件系统强（K）阶跃不透明度的验证，（第61届IEEE决策与控制会议论文集（2022）），（已接受）
[11] 纪毅。；Wu，Y。；Lafortune，S.，《公共和私人插入功能的不透明性实施》，Automatica，93，369-378（2018）·Zbl 1400.93187号
[12] 纪毅。；尹，X。；Lafortune，S.，《在多重能量约束下通过插入函数强制不透明度》，Automatica，108，第108476条，pp.（2019）
[13] 纪毅。；尹，X。；Lafortune，S.，《使用非确定性公共已知编辑函数的不透明度强制执行》，IEEE自动控制事务，64，10，4369-4376（2019）·Zbl 1482.93382号
[14] 科洛格鲁，C。；Hadjicostis，C.N.，离散事件系统中的概率系统不透明度，离散事件动态系统，28，2，289-314（2018）·Zbl 1398.93216号
[15] Lafortune，S。；林，F。；Hadjicostis，C.N.，《离散事件系统的可诊断性和不透明度历史》，《控制中的年度回顾》，45，257-266（2018）
[16] 兰·H。；Tong，Y。；郭杰。；Giua，A.，关于使用双向观测器验证无限步和k步不透明度的新方法的评论[Automatica 80（2017）162-171]，Automatica，122，第109290条pp.（2020）·Zbl 1453.93143号
[17] Lin，F.，离散事件系统的不透明度及其应用，Automatica，47，3，496-503（2011）·Zbl 1216.93020号
[18] 林，F。；Wang，L。；Chen，W。；Wang，W。；Wang，F.，网络离散事件系统中的信息控制及其在电池管理系统中的应用，离散事件动态系统，30，243-268（2020）·Zbl 1448.93201号
[19] 马，Z。；尹，X。；Li，Z.，使用状态识别器验证和实施强无限级和（k）级不透明度，Automatica，133，第109838页，（2021）·Zbl 1480.93270号
[20] Mazaré，L.，《对不透明度属性使用统一性》（《安全理论问题研讨会论文集》（2004年）），165-176
[21] 拉马苏布拉曼尼亚语，B。；克莱维兰，W.R。；Marcus，S.，线性系统中集中式和分散式不透明的概念，IEEE自动控制汇刊，65，41442-1455（2020）·Zbl 07256268号
[22] 萨布里，A。；Hadjicostis，C.N.，《离散事件系统中的安全和不透明概念》（第46届IEEE决策和控制会议论文集（2007）），5056-5061
[23] 萨布里，A。；Hadjicostis，C.N.，通过基于状态的不透明度公式对移动代理轨迹的覆盖分析，控制工程实践，19，9，967-977（2011）
[24] 萨博里，A。；Hadjicostis，C.N.，《（K）阶跃不透明度的验证及其复杂性分析》，IEEE自动化科学与工程学报，8，3，549-559（2011）
[25] 萨布里，A。；Hadjicostis，C.N.，通过状态估计器构造实施不透明监管策略，IEEE自动控制事务，57，5，1155-1165（2012）·Zbl 1369.93109号
[26] 萨布里，A。；Hadjicostis，C.N.，《无限步不透明度和复杂性考虑的验证》，IEEE自动控制汇刊，57，5，1265-1269（2012）·Zbl 1369.93110号
[27] 萨布里，A。；Hadjicostis，C.N.，《离散事件系统安全应用中初始状态不透明度的验证》，信息科学，246115-132（2013）·Zbl 1320.68119号
[28] 萨布里，A。；Hadjicostis，C.N.，概率有限自动机中的当前状态不透明度公式，IEEE自动控制事务，59，1，120-133（2014）·Zbl 1360.68570号
[29] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，离散事件系统的可诊断性，IEEE自动控制汇刊，40，9，1555-1575（1995）·Zbl 0839.93072号
[30] 舒，S。；林，F。；Ying，H.，离散事件系统的可检测性，IEEE自动控制汇刊，52，12，2356-2359（2007）·Zbl 1366.93366号
[31] Tong，Y。；Lan，H.，模块化离散事件系统中的当前状态不透明度验证，（第58届IEEE决策与控制会议（2019年）论文集），7665-7670
[32] Tong，Y。；李，Z。；西特祖，C。；Giua，A.，使用Petri网验证基于状态的不透明度，IEEE自动控制事务，62,62823-2837（2017）·兹比尔1369.68265
[33] Tong，Y。；李，Z。；西特祖，C。；Giua，A.，不可比观测下离散事件系统的当前状态不透明度强制，离散事件动态系统，28，2，161-182（2018）·Zbl 1398.93223号
[34] Wu，Y。；Lafortune，S.，《集中式和协调式体系结构中不透明度相关概念的比较分析》，离散事件动态系统，23，3，307-339（2013）·Zbl 1272.93084号
[35] Wu，Y。；桑卡拉拉曼，K。；Lafortune，S.，《确保基于位置的服务中的隐私：一种基于不透明强制执行的方法》（第12届离散事件系统国际研讨会论文集（2014）），33-38
[36] 杨，J。；邓，W。；江，C。；邱，D.，网络离散事件系统的不透明度，（第58届IEEE决策与控制会议论文集（2019）），6736-6741
[37] 尹，X。；Lafortune，S.，《使用双向观测器验证无限步和（K）步不透明度的新方法》，Automatica，80，162-171（2017）·Zbl 1370.93174号
[38] 尹，X。；Li，S.，不安全多信道网络上网络化监控系统的不透明度，（第58届IEEE决策与控制会议论文集（2019）），7641-7646
[39] 尹，X。；Li，S.，无限级不透明度动态掩模的合成，IEEE自动控制汇刊，65，4，1429-1441（2020）·兹比尔07256267
[40] 尹，X。；李，Z。；Wang，W。；Li，S.，随机离散事件系统的无限步不透明度和（K）步不透明度，Automatica，99，266-274（2019）·Zbl 1406.93207号
[41] 尹，X。；Zamani，M。；Liu，S.，《论网络物理系统的近似不透明性》，IEEE自动控制汇刊，66，4，1630-1645（2021）·Zbl 07352214号
[42] Zhang，K.，离散事件系统分散状态检测和故障诊断/预测的统一方法，基础信息学，181，339-371（2021）·Zbl 1519.68127号
[43] 张凯。；Giua，A.，关于标记Petri网和有限自动机的可检测性，离散事件动态系统，30，3，465-497（2020）·Zbl 1448.93038号
[44] 张，B。；舒，S。；Lin，F.，《确保离散事件系统不透明度的最大信息发布》，IEEE自动化科学与工程学报，12，4，1067-1079（2015）
[45] 张凯。；尹，X。；Zamani，M.，《非确定性过渡系统的不透明度：A（bi）仿真关系方法》，IEEE自动控制汇刊，64，12，5116-5123（2019）·Zbl 1482.93403号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。