×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
山东大学 [23]
内容类型
学位论文 [14]
期刊论文 [9]
发表日期
2016 [1]
2012 [1]
2011 [1]
2009 [1]
2008 [1]
2006 [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共23条,第1-10条
帮助
限定条件
专题:山东大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于验证元的三方口令认证密钥交换协议
期刊论文
计算机研究与发展, 2016, 卷号: 53, 期号: 10, 页码: 2229-2237
作者:
杨晓燕
;
侯孟波
;
魏晓超
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/16
认证密钥交换
验证元
平滑投影Hash函数
三方口令认证密钥交换
标准模型
物联网安全研究
期刊论文
信息安全与通信保密, 2012, 期号: 02, 页码: 69-72
作者:
刘平
;
刘晓东
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/23
物联网
抽象模型
密钥分散
签名认证
动态群组密钥协商协议研究
学位论文
2011
作者:
朱泽全
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/20
群组密钥协商
动态对等组
安全模型
认证
多叉树
基于用户隐私保护的EAP-AKA协议
期刊论文
计算机工程与设计, 2009, 期号: 12, 页码: 2875-2877+2881
作者:
刘红
;
史清华
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/26
3GPP-WLAN
认证协议
密钥协商
串空间模型
认证测试
模型检验技术在软件漏洞自动挖掘中的应用
期刊论文
华中科技大学学报. 自然科学版, 2008, 卷号: 36, 期号: 2, 页码: 70-73
作者:
刘晖
;
张翀斌
;
张晓敏
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/26
软件
漏洞挖掘
模型检验
时序安全属性
有穷状态自动机
基于PKI信任机制中动态桥模型的研究
期刊论文
计算机工程与设计, 2006, 期号: 05, 页码: 777-779
作者:
褚大伟
;
曾广周
;
王婧
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2020/01/03
动态桥
信任锚
路径构造
桥CA
交叉认证
基于串空间模型的电子商务协议的形式化分析
期刊论文
计算机工程与应用, 2006, 卷号: 42, 期号: 3, 页码: 123-126+145
作者:
邢育红
;
卜凡金
;
李大兴
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2020/01/03
串空间模型
认证测试
形式化分析
交换协议
电子商务协议
商用数据安全传输模型的研究与扩展
期刊论文
计算机工程与设计, 2005, 期号: 10, 页码: 2619-2620
作者:
徐成强
;
史清华
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2020/01/03
安全
传输
智能卡
认证
PKI
一种基于Strand空间的认证协议检测方法
期刊论文
计算机应用, 2004, 卷号: 24, 期号: 1, 页码: 76-79
作者:
姜志坚
;
韩芳溪
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2020/01/03
Strand空间
攻击者知识模型
状态搜索
基于Kerberos的企业网安全模型
期刊论文
计算机工程与应用, 2002, 卷号: 38, 期号: 13
作者:
戚文静
;
姚青
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2020/01/14
Kerberos协议
认证
加密
数字签名
©版权所有 ©2017 CSpace - Powered by
CSpace