位置：成果数据库 > 期刊 > 期刊详情页
Authenticated Key Exchange Protocol with Selectable Identities
  • 期刊名称：Wireless Communications and Mobile Computing (WCMC
  • 时间：0
  • 页码：805-809
  • 语言：英文
  • 相关项目：面向性质的可信软件建模与时序性质验证及支持工具
作者： Xiyong Zhang|Hua Guo|Yi Mu|Zhoujun Li|
同期刊论文项目
面向性质的可信软件建模与时序性质验证及支持工具
期刊论文 25 会议论文 13
同项目期刊论文
写污点值到污点地址漏洞模式检测
CILinear:一个线性不变式自动构造工具
主动Web漏洞扫描中的场景技术研究
TSPVT：一个有效的时间敏感安全协议验证工具
基于差分方程和最优化问题计算程序复杂度符号化上界
基于QBF循环不变式构造技术
基于模型检验的构件验证技术研究进展
QBF求解算法研究
QBF求解算法研究综述
Digital multisignature on the generalized conic curve over Zn
一种基于SAT 的C 程序缓冲区溢出漏洞检测技术
基于可执行代码的漏洞检测技术
安全协议逻辑程序不停机性快速预测的动态方法
基于差分方程计算循环复杂度符号化上界
防御代码注入式攻击的字面值污染方法
无文件系统嵌入式固件后门检测
软件安全漏洞检测技术
基于P2P系统的DDoS攻击及其防御技术研究综述
基于时间序列分析的网络流量预测模型研究
基于面向服务架构的网上支付安全体系研究与实现
基于双难题的环Z_n上圆锥曲线的数字签名
高性能网络爬虫：研究综述