关键词 年期检索 高级搜索
33
本刊公告
特别策划
战略合作单位
相关链接
赛博物理系统(CPS) 专题 栏目所有文章列表
(按年度、期号倒序)
    一年内发表的文章 |  两年内 |  三年内 |  全部
  首页 | 前页 | 后页 | 尾页 第1页 共1页 共7条记录  
589 僵尸网络综述
崔丽娟
2017 Vol. 3 (7): 589-600 [摘要] ( 51 ) [HTML 0 KB][PDF 9509 KB] ( 56 )
601 基于时间自动机的 CPS 安全建模和验证
苏琪
2017 Vol. 3 (7): 601-609 [摘要] ( 36 ) [HTML 0 KB][PDF 6111 KB] ( 42 )
610 动态可验证的异步理性秘密共享方案
郝星然
2017 Vol. 3 (7): 610-616 [摘要] ( 27 ) [HTML 0 KB][PDF 5581 KB] ( 29 )
617 基于 CC 的安全性规格形式化描述及验证方法
闫靖晨
2017 Vol. 3 (7): 617-623 [摘要] ( 14 ) [HTML 0 KB][PDF 5250 KB] ( 71 )
624 工业控制系统安全及异常检测研究进展
张凯一
2017 Vol. 3 (7): 624-632 [摘要] ( 29 ) [HTML 0 KB][PDF 6946 KB] ( 19 )
633 基于贝叶斯假设检验的CPS 控制层攻击检测方法
王卯宁
2017 Vol. 3 (7): 633-637 [摘要] ( 42 ) [HTML 0 KB][PDF 3773 KB] ( 47 )
638 基于国际标准CC 和CEM 的计算机系统信息安全性评估认证支持平台
宝达
2017 Vol. 3 (7): 638-646 [摘要] ( 21 ) [HTML 0 KB][PDF 6146 KB] ( 54 )
  首页 | 前页 | 后页 | 尾页 第1页 共1页 共7条记录  
《信息安全研究》杂志,国家发展和改革委主管,国家信息中心主办    
地址:北京市西城区三里河路58号 国家信息中心 邮政编码:100045
电话:(010)68557385 E-mail:ris@cei.gov.cn