CORC

在结果中检索

CORC

浏览/检索结果: 共71条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
基于CPN的安全协议形式化建模及安全分析方法 期刊论文
通信学报, 2021, 卷号: 42, 期号: 09, 页码: 240-253
作者:  龚翔;  冯涛;  杜谨泽
收藏  |  浏览/下载：16/0  |  提交时间：2021/10/20
工业以太网EtherNet/IP协议安全分析 期刊论文
信息技术与网络安全, 2019, 期号: 2019年07期, 页码: 6-13
作者:  田学成;  徐英会
收藏  |  浏览/下载：30/0  |  提交时间：2019/11/13
改进的轻量级移动RFID双向认证协议 期刊论文
2018, 卷号: 39, 期号: 4, 页码: 912-917
作者:  汪杰;  汪学明
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/02
一种新的复合型电子支付协议及其形式化分析 期刊论文
2018, 卷号: 35, 期号: 6, 页码: 319-324
作者:  丁月;  汪学明
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/02
增强型匿名RFID双向认证协议eARAP的设计与分析 期刊论文
《广西大学学报：自然科学版》, 2015, 卷号: 40, 页码: 1494-1500
作者:  丁洁[1];  吴汉炜[1];  林志阳[1];  王泽众[2]
收藏  |  浏览/下载：7/0  |  提交时间：2019/04/25
《庄子·秋水》中庄子与惠施鱼之乐辩论形式化研究 期刊论文
牡丹, 2015, 期号: 11X, 页码: 181-183
作者:  胡亚非
收藏  |  浏览/下载：27/0  |  提交时间：2019/12/24
纠缠对量子认证协议的形式化分析 会议论文
第十一届中国通信学会学术年会, 南昌, 2015-10-28
作者:  李珂;  尚涛;  刘建伟
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06
一种理性安全协议的博弈逻辑描述模型 期刊论文
2015, 卷号: 42, 期号: 9, 页码: 118-126
作者:  刘海;  彭长根;  张弘;  任祉静
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/31
基于MTM的可信系统应用与安全性分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2014
冯伟
收藏  |  浏览/下载：12/0  |  提交时间：2015/01/16
可信计算协议的形式化分析方法和测试技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2014
奚瓅
收藏  |  浏览/下载：11/0  |  提交时间：2015/01/26

©版权所有 ©2017 CSpace - Powered by CSpace