广东工业大学学报2025，Vol.42Issue(4)：79-87,9.DOI:10.12052/gdutxb.240131
随机离散事件系统的k步主动不透明性研究
Research on k-Step Active Opacity of Stochastic Discrete Event Systems
摘要
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-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-step active opacity of stochastic discrete event systems is formalized.Second,by constructing a k-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-step opacity can be enhanced,and additionally a necessary and sufficient condition for the k-step active opacity of stochastic discrete event systems is obtained,which can be used to verify the k-step active opacity of stochastic discrete event systems.关键词
随机离散事件系统/主动控制/k步不透明性/随机自动机Key words
stochastic discrete event system/active control/k-step opacity/stochastic automaton分类
信息技术与安全科学引用本文复制引用
刘伟奇,刘富春..随机离散事件系统的k步主动不透明性研究[J].广东工业大学学报,2025,42(4):79-87,9.基金项目
广东省自然科学基金资助项目(2023A1515012783) （2023A1515012783）
