|
已选(0)清除
条数/页： 排序方式：
|
| 基于CPN的安全协议形式化建模及安全分析方法 期刊论文
通信学报, 2021, 卷号: 42, 期号: 09, 页码: 240-253
作者: 龚翔; 冯涛; 杜谨泽
  收藏 | 浏览/下载：13/0 | 提交时间：2021/10/20
|
| AADL与Simulink/Stateflow组合建模的形式化分析与验证 学位论文
硕士, 北京: 中国科学院研究生院, 2020
作者: 林倩倩
收藏 | 浏览/下载：2/0 | 提交时间：2020/09/17 |
| 工业以太网EtherNet/IP协议安全分析 期刊论文
信息技术与网络安全, 2019, 期号: 2019年07期, 页码: 6-13
作者: 田学成; 徐英会
收藏 | 浏览/下载：28/0 | 提交时间：2019/11/13
|
| 基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者: 王微谨
收藏 | 浏览/下载：192/0 | 提交时间：2019/07/03
|
| 基于符号模型的TLS1.3协议安全性自动化分析 期刊论文
数学的实践与认识, 2019, 期号: 05
作者: 王小峰; 张奇林; 刘加兵
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/05
|
| 改进的轻量级移动RFID双向认证协议 期刊论文
2018, 卷号: 39, 期号: 4, 页码: 912-917
作者: 汪杰; 汪学明
收藏 | 浏览/下载：4/0 | 提交时间：2020/01/02
|
| 一种新的复合型电子支付协议及其形式化分析 期刊论文
2018, 卷号: 35, 期号: 6, 页码: 319-324
作者: 丁月; 汪学明
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/02
|
| 基于HCPN模型检测方法的DNP3-SA协议形式化安全评估与改进 学位论文
2018
作者: 鲁晔
收藏 | 浏览/下载：9/0 | 提交时间：2020/11/05
|
| 理性交换协议的公平机制设计及其形式化分析 学位论文
2017
作者: 牛翠翠
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/31 |
| 公平交换协议的理性模型及其形式化分析 学位论文
2016
作者: 丁洪
收藏 | 浏览/下载：2/0 | 提交时间：2020/01/02
|
