关键词: 智能电网  认证性  机密性  组合公钥密码体制  

2016年第04期 《密码学报》

关键词: 群密钥协商  可否认性  认证性  两轮次协议  

2016年第02期 《密码学报》

关键词: 现代远程教育系统  认证性  数字签名  

2005年第09期 《计算机应用研究》

关键词: 混合签密  多接收者  多消息  匿名性  认证性  机密性  

2018年第02期 《软件学报》

关键词: 认证性  秘密性  applied  pi演算  符号模型  形式化方析  proverif  

2019年第05期 《数学的实践与认识》

关键词: tmn协议  模型检测  保密性  认证性  被动攻击  主动攻击  

2004年第16期 《计算机工程》

关键词: 进程代数  安全协议  形式化验证  保密性  认证性  

2004年第07期 《计算机研究与发展》

关键词: 空间信息网络  群组认证  协议组合逻辑  认证性  机密性  

2016年第10期 《计算机研究与发展》

关键词: 类pi演算  电子支付协议  认证性  匿名性  

2006年第03期 《计算机应用研究》

关键词: 密码协议  秘密性  认证性  形式化验证  

2007年第07期 《软件学报》

关键词: 无线认证协议  认证性  模型检验  

2006年第04期 《桂林电子科技大学学报》

关键词: 安全协议  进程代数  形式化验证  认证性  objective  canal  

2006年第01期 《计算机工程与科学》

关键词: 安全协议  进程代数  消解  保密性  认证性  

2006年第07期 《计算机工程与科学》

关键词: athena  猜测攻击  串空间  弱口令  认证性  

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

关键词: 认证性  密钥交换协议  安全性  

2006年第04期 《山东大学学报·理学版》

关键词: 数字签名  局域网  非对称算法  认证性  保密性  

2007年第12期 《网络安全技术与应用》

关键词: 演算  安全协议  认证性  仿真  

2006年第02期 《计算机仿真》

关键词: 安全协议  串空间  认证性  机密性  

2012年第03期 《信息通信》

关键词: 性学  夫妻生活  研究成果  治疗师  评价标准  危险性行为  意度  认证性  感觉性  享受性  

2016年第09期 《科学大观园》

关键词: 完美前向安全  机密性  协议  认证性  

2008年第21期 《计算机工程与应用》