CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
安全协议验证中DY模型的构建框架 期刊论文
福建工程学院学报, 2015, 卷号: 第13卷 第3期, 页码: 239-243
作者:  唐郑熠;  杨芳;  薛醒思
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/31
Otway-Rees协议改进及安全分析 期刊论文
信息工程大学学报, 2014, 期号: 05, 页码: 525-530
作者:  王君;  昝亚洲;  刘爱森;  屈萌
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/17
改进型Otway-Rees协议的串空间模型分析Ihe Analysis of the Revised Otway-Rees Protocol Stand Space Model 期刊论文
2011, 页码: 70-71
作者:  赵自强;  胡国彪;  张玉中
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/04
改进型Otway-Rees协议的串空间模型分析 期刊论文
2011, 期号: 6, 页码: 70-71
作者:  赵自强;  胡国彪;  张玉中
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/13
串空间理论及其对公平交换协议的分析 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
卢凤清
收藏  |  浏览/下载：16/0  |  提交时间：2011/03/17
对Otway-Rees协议的一个改进方法 期刊论文
计算机应用, 2007, 卷号: 27, 期号: z1
卢凤清; 林东岱
收藏  |  浏览/下载：7/0  |  提交时间：2010/08/19
网络认证协议攻击的非形式化分析 期刊论文
计算机工程与应用, 2006, 期号: 22, 页码: 112-115,142
李静; 肖美华
收藏  |  浏览/下载：8/0  |  提交时间：2011/07/13
基于理想的协议安全性分析 期刊论文
软件学报, 2005, 卷号: 16, 期号: 12, 页码: 2150-2156
孙海波; 林东岱; 李莉
收藏  |  浏览/下载：9/0  |  提交时间：2010/08/19
基于OWDP的高速IP网络性能实时监测技术及其安全实现 期刊论文
小型微型计算机系统, 2002, 卷号: 23, 期号: 4
作者:  王治;  曹阳;  徐宁
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/05

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