位置：成果数据库 > 期刊 > 期刊详情页
The Formal Verification and Improvement of simplified Set Protocol,EI收录
  • ISSN号：1796-217X
  • 期刊名称：Journal of Software
  • 时间：2014.9.21
  • 页码：2302-2308
  • 相关项目：基于事件逻辑的安全协议形式化分析及验证
作者： 肖美华|万子龙|刘宏玲|
同期刊论文项目
基于事件逻辑的安全协议形式化分析及验证
期刊论文 19 获奖 1
同项目期刊论文
SOCKET通信程序模型抽取及可靠性验证
江西物联网产业发展路径探析
软件工程硕士生创新与实践能力培养模式探析
A Novel Approach to Automatic Security Protocol Analysis Based on Authentication Event Logic, SCI&am
形成期物联网产业竞争力影响因素分析
东、中西部物联网企业技术竞争力比较分析
基于SD的云计算信息化的演进分析及后续问题探析
基于改进GNY逻辑的Kerberos*协议安全性分析
基于Spin/Promela的Woo-Lam协议安全性质高效验证
基于SPIN 的Andrew Secure RPC 协议并行攻击模型检测
基于事件逻辑的改进Needham-Schroeder协议安全性证明
运用SPIN对开放授权协议OAuth2.0的分析与验证
基于CAPICOM电子签章系统研究与实现,EI收录
基于G2EM-CI模型的物联网产业集群竞争力研究
一种基于条件相对平均熵的个性化推荐算法
基于对话内容的交互型文本会话主题挖掘
基于改进 GNY 逻辑的 Kerberos ＊协议安全性分析磁
基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁