基于强当前状态不透明性的有界标签Petri网安全性分析

徐伯乐; 张志鹏; 黎良; 夏承遗; 陈增强

doi:10.13700/j.bh.1001-5965.2024.0592

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于强当前状态不透明性的有界标签Petri网安全性分析

徐伯乐, 张志鹏, 黎良, 夏承遗, 陈增强

文章导航 > 北京航空航天大学学报 > 优先出版

徐伯乐, 张志鹏, 黎良, 等 . 基于强当前状态不透明性的有界标签Petri网安全性分析[J]. 北京航空航天大学学报. doi: 10.13700/j.bh.1001-5965.2024.0592

引用本文:

徐伯乐, 张志鹏, 黎良, 等 . 基于强当前状态不透明性的有界标签Petri网安全性分析[J]. 北京航空航天大学学报. doi: 10.13700/j.bh.1001-5965.2024.0592

XU Bole, ZHANG Zhipeng, LI Liang, et al. Security analysis of bounded label Petri net based on strong current state opacity[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0592(in Chinese)

Citation:

XU Bole, ZHANG Zhipeng, LI Liang, et al. Security analysis of bounded label Petri net based on strong current state opacity[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0592(in Chinese)

徐伯乐, 张志鹏, 黎良, 等 . 基于强当前状态不透明性的有界标签Petri网安全性分析[J]. 北京航空航天大学学报. doi: 10.13700/j.bh.1001-5965.2024.0592

引用本文:

徐伯乐, 张志鹏, 黎良, 等 . 基于强当前状态不透明性的有界标签Petri网安全性分析[J]. 北京航空航天大学学报. doi: 10.13700/j.bh.1001-5965.2024.0592

Citation: