CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
An Anonymous Authentication and Key Update Mechanism for IoT Devices Based on EnOcean Protocol 期刊论文
SENSORS, 2022, 卷号: 22, 期号: 17
作者:  Wu, Yi;  Feng, Tao
收藏  |  浏览/下载：18/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
面向CCMANET网络可证明安全命名与名字路由机制关键技术研究 项目
项目类型: 地区科学基金项目, 项目编号: 61461027, 2015-2018
作者:  郭显
收藏  |  浏览/下载：8/0  |  提交时间：2020/06/10
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
移动Ad Hoc网络安全路由协议设计与分析技术研究 学位论文
2011
作者:  郭显
收藏  |  浏览/下载：2/0  |  提交时间：2020/11/05
Automatic verification of web service protocols for epistemic specifications under dolev-yao model 其他
2010-01-01
Chen, Qingliang; Su, Kaile; Liu, Chanjuan; Xiao, Yinyin
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/13
knowledge-theoretic approach to formal verification of web services protocols 会议论文
2010 IEEE International Conference on Software Engineering and Service Sciences, ICSESS 2010, Beijing, China, 37453
Yao Guoxiang; Chen Qingliang; Liu Chanjuan; Yang Zhuolin
收藏  |  浏览/下载：14/0  |  提交时间：2011/03/31
Dolev-Yao攻击者模型的形式化描述 期刊论文
2010, 卷号: 32, 期号: 8, 页码: 36-38
作者:  唐郑熠;  李祥
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/28
The hierarchical threat model of routing security for wireless ad hoc networks 会议论文
作者:  Xian, Guo;  Tao, Feng;  Yuan, Zhan-Ting;  Ma, Jian-Feng
收藏  |  浏览/下载：14/0  |  提交时间：2020/11/15

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