串空间模型论文

一种新的电子邮件协议及其形式化分析第39-44页

关键词: 串空间模型认证测试方法 dknrp协议电子邮件协议

2013年第01期《湖北师范大学学报·哲学社会科学版》

可信计算环境下的MACSec安全关联方案第3043-3047页

关键词: 媒体访问控制安全关联可信计算平台认证串空间模型

2019年第10期《计算机应用研究》

基于串空间认证测试理论的认证协议分析第51-54页

关键词: 串空间模型认证测试关联性理论

2012年第01期《信息技术与网络安全》

基于口令认证的密钥交换协议的安全性分析第166-170页

关键词: 密钥交换协议口令猜测攻击串空间模型 dh密钥协商口令认证

2005年第01期《电子学报》

一种面向WSN的双向身份认证协议及串空间模型第169-175页

关键词: 身份认证协议无线传感器网络串空间模型报警机制

2019年第09期《计算机科学》

可信计算环境下的IKEv2协议扩展方案第1-7页

关键词: 可信计算平台认证串空间模型 ikev2

2018年第12期《微电子学与计算机》

基于串空间的认证协议分析第29-32页

关键词: 安全协议认证协议形式化分析串空间模型

2005年第03期《实验科学与技术》

基于串空间模型的3GPP认证密钥交换协议分析第791-795页

关键词: 密钥交换协议串空间模型认证测试方法第3代伙伴计划认证协议形式化方法

2006年第05期《上海交通大学学报》

基于串空间模型的电子商务协议的形式化分析第123-126页

关键词: 串空间模型认证测试形式化分析交换协议电子商务协议

2006年第03期《计算机工程与应用》

基于认证测试方法的EAP-AKA协议分析第157-159页

关键词: 认证测试方法串空间模型 3g wlan 形式化方法

2007年第15期《计算机工程与应用》

基于认证测试的一种安全协议一致性分析方法第99-102页

关键词: 认证测试安全协议串空间模型一致性

2007年第10期《计算机科学》

一种形式化分析安全协议的新模型第381-385页

关键词: 安全协议形式化分析串空间模型入侵者串

2006年第03期《西安电子科技大学学报》

用于安全协议分析的一种新的状态剪枝方法第75-77页

关键词: 安全协议分析串空间模型状态空间剪枝认证测试剪枝定理

2007年第27期《科技与创新》

认证测试方法的扩展及其应用第50-53页

关键词: 串空间模型认证测试 tls协议哈希函数测试分量

2010年第03期《郑州工业大学学报》

Yahalom协议的分析及改进方案第266-268页

关键词: yahalom协议串空间模型理想诚实

2008年第07期《计算机应用与软件》

串空间模型及其认证测试方法的一种扩展与应用第3205-3207页

关键词: 串空间模型认证属性密码学原语

2008年第12期《计算机应用》

IEEE 802.11i基于Kerberos架构认证的形式化分析第182-186页

关键词: ieee kerberos协议形式化方法串空间模型

2010年第02期《中国电子科学研究院学报》

Needham-Schroeder协议的认证测试方法形式化分析第100-102页

关键词: 安全协议形式化分析串空间模型认证测试方法

2010年第19期《计算机工程与应用》

基于CPK的可信平台用户登录认证方案第90-94页

关键词: 可信计算身份认证可信登录串空间模型

2010年第01期《计算机工程与应用》

一种新的安全协议及其串空间模型分析第118-121页

关键词: pjy安全协议串空间模型认证测试单射一致性机密性

2010年第01期《计算机科学》