经过近三年的系统深入研究，世界杯官网邓伟林副教授联合中山大学邱道文教授及玉林师范学院杨京开博士，在离散事件系统（DES）信息安全领域取得系列重要进展，相关成果分别发表于控制理论领域国际顶级学术期刊IEEE Transactions on Automatic Control（校A1类）和 Automatica（校A2类）。上述期刊被公认为自动控制领域的学术标杆，在国际控制科学界享有极高声誉与影响力。

在Automatica上发表的论文“New insights into opacity verification in timed discrete-event systems”，围绕赋时离散事件系统中不透明性（Opacity）普遍不可判定这一核心难题展开研究。针对现有工作中理论条件“仅充分或仅必要”的不足，论文建立了赋时不透明性可判定性的充要条件刻画，从而给出了统一的理论判定框架，并解决了An等人提出的相关公开问题。在此基础上，进一步证明了位置赋时不透明性（CLTO）在整数复位赋时自动机（IRTA）中的可判定性，并设计了相应的验证算法。针对一般赋时自动机不可判定的问题，论文从实际观测能力出发，刻画了“入侵者仅具备离散时间精度”的现实场景，提出新的不透明性概念CLTO-IDTP，并给出了可判定的验证方法，从而在系统表达能力与计算可行性之间实现了有效权衡。该成果在理论层面系统推进了赋时系统不透明性判定问题的发展。

与此同时，在IEEE Transactions on Automatic Control上发表的论文“Opacity of Extended Finite Automata With Event Parameters”，针对传统有限自动机难以高效刻画数据流与控制流耦合的问题，提出了一类新的模型——带事件参数的扩展有限自动机（EP-EFA）。该模型通过在事件中引入参数及其谓词约束，显著增强了对复杂数据交互行为的表达能力。在此基础上，论文系统研究了EP-EFA框架下的不透明性问题，涵盖当前状态不透明性、初始状态不透明性以及无限步不透明性，并基于符号观察器构造提出了一套统一的验证算法。实验结果表明，与传统有限自动机方法相比，所提出算法在大规模数据域场景中具有显著的效率优势。该研究为融合“控制流—数据流”的复杂系统信息安全分析提供了重要理论基础与方法支撑。

上述成果从赋时系统与参数化系统两个维度拓展了不透明性理论的研究边界，体现了世界杯官网在离散事件系统安全分析与形式化方法领域的持续创新能力。未来，世界杯官网将继续围绕复杂系统信息安全中的关键科学问题，深化基础理论研究，推动相关成果在网络安全与信息物理系统等领域的应用与落地。