CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
An Anonymous Authentication and Key Update Mechanism for IoT Devices Based on EnOcean Protocol 期刊论文
SENSORS, 2022, 卷号: 22, 期号: 17
作者:  Wu, Yi;  Feng, Tao
收藏  |  浏览/下载：19/0  |  提交时间：2022/09/22
工业以太网EtherCAT协议形式化安全评估及改进 期刊论文
计算机研究与发展, 2020, 期号: 2020-11, 页码: 2312-2327
作者:  冯涛;  王帅帅;  龚翔;  方君丽
收藏  |  浏览/下载：15/0  |  提交时间：2020/12/18
Formal Security Evaluation and Improvement of Industrial Ethernet EtherCAT Protocol 期刊论文
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2020, 卷号: 57, 期号: 11, 页码: 2312-2327
作者:  Feng, Tao;  Wang, Shuaishuai;  Gong, Xiang;  Fang, Junli
收藏  |  浏览/下载：12/0  |  提交时间：2020/12/18
Verification of web service protocols by logic of knowledge 期刊论文
journal of information and computational science, 2011
Chen, Qingliang; Su, Kaile; Cao, Ying; Liu, Chanjuan
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/13
Dolev-Yao攻击者模型的形式化描述 期刊论文
2010, 卷号: 32, 期号: 8, 页码: 36-38
作者:  唐郑熠;  李祥
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/28
基于刚性与相似性概念的密码协议分析方法 期刊论文
计算机学报, 2009, 卷号: 32, 页码: 618-634
作者:  田园;  王颖;  金锋;  金月
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/24
安全协议的形式化分析技术与方法 期刊论文
计算机学报, 2006, 卷号: 29, 期号: 1, 页码: 40198
薛锐; 冯登国
收藏  |  浏览/下载：4/0  |  提交时间：2010/05/27
protect the secrecy in password-based key exchange protocols 期刊论文
CHINESE JOURNAL OF ELECTRONICS, 2005, 卷号: 14, 期号: 2, 页码: 253-258
Li L; Sun HB; Xue R; Zhang HG
收藏  |  浏览/下载：9/0  |  提交时间：2011/07/28

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