EN
语种选择
您当前的位置：
首页 >
文章列表页 >
随机离散事件系统的k步主动不透明性研究
控制科学与工程 | 更新时间：2026-05-27
|
随机离散事件系统的k步主动不透明性研究
Research on k-Step Active Opacity of Stochastic Discrete Event Systems
- 广东工业大学学报 2025年42卷第4期 页码：79-87
- 作者机构：
广东工业大学 计算机学院,广东,广州,510006
- 作者简介：
刘伟奇(2000–) ，男，硕士研究生，主要研究方向为信息安全、算法分析与设计、控制理论与应用，E-mail：a1164894528@163.com
刘富春(1971–) ，男，教授，博士生导师, 主要研究方向为信息安全、算法分析与设计、控制理论与应用，E-mail：liufch@gdut.edu.cn
- 基金信息：广东省自然科学基金资助项目(2023A1515012783)
DOI：10.12052/gdutxb.240131
中图分类号： TP309-
纸质出版：2025
- 稿件说明：
移动端阅览
刘伟奇, 刘富春. 随机离散事件系统的k步主动不透明性研究[J]. 广东工业大学学报, 2025, 42(4): 79–87.
Liu Weiqi, Liu Fuchun. Research on k-Step Active Opacity of Stochastic Discrete Event Systems[J]. 2025, 42(4): 79-87. DOI: 10.12052/gdutxb.240131.
刘伟奇, 刘富春. 随机离散事件系统的k步主动不透明性研究[J]. 广东工业大学学报, 2025, 42(4): 79–87. DOI： 10.12052/gdutxb.240131
Liu Weiqi, Liu Fuchun. Research on k-Step Active Opacity of Stochastic Discrete Event Systems[J]. 2025, 42(4): 79-87. DOI: 10.12052/gdutxb.240131. DOI：
随机离散事件系统的k步主动不透明性研究
摘要
近年来，由于离散事件系统的不透明性在信息安全机制中取得了许多应用成果，引起了国内外众多学者的广泛关注。本文基于随机离散事件系统框架，针对系统存在泄密路径的安全问题，提出了通过主动控制增强系统
$ k $
<
img text_id='M3' class='formula-img' style='display:none;' src='240131_M3.jpg'>
步不透明性的方法，确保系统中所有秘密状态均不被泄露。首先，对随机离散事件系统的
$ k $
<
img text_id='M3' class='formula-img' style='display:none;' src='240131_M3.jpg'>
步主动不透明性进行形式化。其次，通过构造
$ k $
<
img text_id='M3' class='formula-img' style='display:none;' src='240131_M3.jpg'>
步主动不透明性验证器，为系统中每个秘密状态找到一个泄密概率最低的可控事件串，使系统可以通过强制执行可控事件以最安全的路径进入秘密状态，以达到增强
$ k $
<
img text_id='M3' class='formula-img' style='display:none;' src='240131_M3.jpg'>
步不透明性的目的。此外，也得到一个随机离散事件系统
$ k $
<
img text_id='M3
' class='formula-img' style='display:none;' src='240131_M3.jpg'>
步主动不透明性的充分必要条件，可用于验证随机离散事件系统的
$ k $
<
img text_id='M3' class='formula-img' style='display:none;' src='240131_M3.jpg'>
步主动不透明性。
Abstract
In recent years
the opacity of discrete event systems has achieved remarkable application results in information security mechanisms
attracting increasing attention from the researchers of the world. With the aim to address the security issue of leakage paths in the system
this paper proposes a method to enhance the
$ k $
<
img text_id='M9' class='formula-img' style='display:none;' src='240131_M9.jpg'>
-step opacity of the system through active control based on the framework of stochastic discrete event systems
ensuring that all secret states in the system are not disclosed. First
the
$ k $
<
img text_id='M9' class='formula-img' style='display:none;' src='240131_M9.jpg'>
-step active opacity of stochastic discrete event systems is formalized. Second
by constructing a
$ k $
<
img text_id='M9' class='formula-img' style='display:none;' src='240131_M9.jpg'>
-step active opacity verifier
a controllable event string with the lowest leakage probability is found for each secret state in the system
allowing the system to enter the secret state through the safest path by enforcing controllable events. In this way
the
$ k $
<
img text_id='M9' class='formula-img' style='display:none;' src='240131_M9.jpg'>
-step opacity can be enhanced
and additionally a necessary and sufficient condition for the
$ k $
<
img text_id='M9' class='formula-img' style='display:none;' src='240131_M9.jpg'>
-step active opacity of stochastic discrete event systems is obtained
which can be used to verify the
$ k $
<
img text_id='M9' class='formula-img' style='display:none;' src='240131_M9.jpg'>
-step active opacity of stochastic discrete event systems.
关键词
Keywords
references
CASSANDRAS C G, LAFORTUNE S. Introduction to discrete event systems[M]. 2nd ed. New York: Springer, 2008, 35-48.
WANG X Y, OUYANG D T, ZHAO J. Discrete-event system diagnosis upon incomplete model[J]. Journal of Software, 2012, 23(3): 465-475.
WU N Q, QIAO Y. A novel production scheduling methodology by using discrete event system control theories[J]. Control Theory Applications, 2021, 38(11): 1809-1818.
WANG S G, ZHAO Y M, YOU D, et al . Survey on attacks in cyber physical systems based on discrete event systems[J ] . Control and Decision, 2022, 37(8): 1934-1944.
CHEN J, KEROGLOU C, HADJICOSTIS C N, et al . Revised test for stochastic diagnosability of discrete-event systems[J ] . IEEE Transactions on Automation Science and Engineering, 2016, 15(1): 404-408.
LIAO H, LIU F, WU N. Robust predictability of stochastic discrete-event systems and a polynomial-time verification[J]. Automatica, 2022, 144: 110477.
MARKOVSKI J. Towards optimal supervisory control of discrete-time stochastic discrete-event processes with data[C]. IEEE 13th International Conference on Application of Concurrency to System Design. Barcelona: IEEE, 2013: 31-40.
LIN F. Opacity of discrete event systems and its applications[J]. Automatica, 2011, 47(3): 496-503.
BASILE F, TOMMASI G D, MOTTA C. et al, Necessary and sufficient condition to assess initial-state-opacity in live bounded and reversible discrete event systems[J]. IEEE Control Systems Letters, 2022, 6: 2683-2688.
DONG Y, LI Z, WU N. Symbolic verification of current-state opacity of discrete event systems using Petri nets[J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2022, 52(12): 7628-7641.
LIU F C, ZHANG X, ZHAO R. The current state opacity of incomplete discrete event systems[J]. Control Theory Applications, 2019, 36(7): 1067-1071.
TAN J X, LIU F, ZBIGNIEW D. Active opacity of discrete-event systems[J]. International Journal of Control, 2023, 96(8): 2090-2099.
LIAN Y H, LIU F C. Research on active opacity of fuzzy discrete event systems[J]. Journal of Guangdong University of Technology, 2025, 42(1): 126-133.
SABOORI A, HADJICOSTIS C N. Verification of k -step opacity and analysis of its complexity[J ] . IEEE Tr ansactions on Automation Science and Engineering, 2011, 8(3): 549-559.
SABOORI A. Verification of infinite-step opacity and complexity considerations[J]. IEEE Transactions on Automatic Control, 2012, 57(5): 1265-1269.
LEFEBVRE D, HADJICOSTIS C N. Exposure and revelation times as a measure of opacity in timed stochastic discrete event systems[J]. IEEE Transactions on Automatic Control, 2020, 66(12): 5802-5815.
YIN X, LI Z, WANG W, et al , Infinite-step opacity and k-step opacity of stochastic discrete event systems[J ] . Automatica, 2019, 99: 266-274.
QI G Z, LIU F C, CUI H G. Opacity verification in stochastic discrete event systems using two-way observers[J]. Journal of Guangdong University of Technology, 2023, 40(3): 32-37.
APARICIO J, LVAREZ F, LVARO H, et al . A survey on acoustic positioning systems for location-based services[J ] . IEEE Transactions on Instrumentation and Measurement, 2022, 71: 850533.
查看原文
0
浏览量
0
下载量
0
CSCD
Alert me when the article has been cited
文章被引用时，请邮件提醒。
提交
工具集
下载
- 网络PDF下载
- Meta-XML下载
参考文献导出
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
分享
分享给微信好友或者朋友圈
收藏
添加至我的专辑
关联资源
相关文章
基于双向观测器的随机离散事件系统的不透明性
基于概率标签Petri网的随机离散事件系统故障预测
融合沟道倾斜角的3D NAND存储单元建模及编程策略优化
基于AAGV-YOLOX模型的输电线路异物检测研究
双模态迭代交叉注意力融合集成框架
相关作者
亓国照
刘富春
崔洪刚
程琰
刘富春
相关机构
暂无数据
AI问答选择翻译语言
- 技术支持由北京北大方正电子有限公司提供 京ICP备09064830号-19
京公网安备11010802024621 - 本系统建议在Chrome、 IE9+ 以上版本浏览器阅读本站内容，360浏览器请切换至极速模式
- Cookies帮助我们提供服务并提供个性化体验。使用本网站，即表示您同意我们使用Cookies
0
批量引用
导出至
BibTeXEndnoteRefManNoteExpressNoteFirst
回到顶部