报告题目：On strong state-based opacity of discrete-event systems

报告人：韩晓光副教授，天津科技大学

报告时间：2024年12月12日（周四）19:00

报告地点：腾讯会议号：472 469 547

报告摘要：Opacity, an important property in information-flow security, characterizes the ability of a plant of interest to keep some secret information from an intruder. In discrete-event systems, based on a standard setting in which an intruder has the complete knowledge of the system’s structure, several notions of standard state-based opacity cannot perfectly capture high-level privacy requirements. To overcome such limitations, in this report I will introduce the stronger versions of standard state-based opacity. Further, in order to verify and enforce them efficiently, a novel methodology is developed by using the basic tools: Concurrent composition + Observer.

报告人简介：韩晓光，天津科技大学副教授，硕士生导师，天津市高校学科青年后备人才。当前研究方向包括：离散事件系统、信息物理系统、布尔控制网络、网络安全与隐私、形式化方法等，近年来在Automatica、IEEE汇刊等国际控制领域学术期刊及会议上发表论文30余篇，主持国家自然科学基金青年项目1项、天津市自然科学基金青年项目1项、参与国家自然科学基金面上项目3项。现任Current Chinese Science: Cybernetics副编辑、天津科技大学学报青年编委，长期担任Automatica、IEEE汇刊、IEEE CDC、IFAC World Congress等多个国际系统控制领域学术期刊及会议论文审稿人，美国《数学评论》特邀评论员(MR156164)，国家自然科学基金项目通讯评审专家，IEEE控制系统协会-离散事件系统技术委员会委员等职务。

邀请人：钟杰