×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
在这里添加一些文本
关闭
Toggle navigation
我要投稿
首页
关于期刊
期刊简介
编委会成员
编委会章程
读者中心
最新录用
当期目录
过刊浏览
阅读排行
下载排行
引用排行
E-mail Alert
RSS
作者中心
作者投稿
作者查稿
投稿须知
文件下载
审稿中心
专家审稿
编辑办公
主编办公
期刊订阅
联系我们
English
基于时间自动机的 CPS 安全建模和验证
苏琪
Modeling and Verifying Security Properties of Cyber-Physical System Based on Timed Automata
信息安全研究 . 2017, (
7
): 601 -609 .
