位置：成果数据库 > 期刊 > 期刊详情页
基于Spin/Promela的Woo-Lam协议安全性质高效验证
  • ISSN号：1672-9722
  • 期刊名称：计算机与数字工程
  • 时间：2014.10.20
  • 页码：1768-1772+1928
  • 相关项目：基于事件逻辑的安全协议形式化分析及验证
作者： 肖美华|程道雷|胡磊|
同期刊论文项目
基于事件逻辑的安全协议形式化分析及验证
期刊论文 19 获奖 1
同项目期刊论文
SOCKET通信程序模型抽取及可靠性验证
江西物联网产业发展路径探析
软件工程硕士生创新与实践能力培养模式探析
A Novel Approach to Automatic Security Protocol Analysis Based on Authentication Event Logic, SCI&am
形成期物联网产业竞争力影响因素分析
东、中西部物联网企业技术竞争力比较分析
基于SD的云计算信息化的演进分析及后续问题探析
基于改进GNY逻辑的Kerberos*协议安全性分析
The Formal Verification and Improvement of simplified Set Protocol,EI收录
基于SPIN 的Andrew Secure RPC 协议并行攻击模型检测
基于事件逻辑的改进Needham-Schroeder协议安全性证明
运用SPIN对开放授权协议OAuth2.0的分析与验证
基于CAPICOM电子签章系统研究与实现,EI收录
基于G2EM-CI模型的物联网产业集群竞争力研究
一种基于条件相对平均熵的个性化推荐算法
基于对话内容的交互型文本会话主题挖掘
基于改进 GNY 逻辑的 Kerberos ＊协议安全性分析磁
基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁
期刊信息
  • 《计算机与数字工程》
  • 主管单位:中国船舶重工集团公司
  • 主办单位:中船重工集团公司七院第七0九研究所
  • 主编：王小非
  • 地址：武昌74223信箱
  • 邮编：430074
  • 邮箱：jssg@chinajournal.net.cn
  • 电话：027-87534308 87534205
  • 国际标准刊号：ISSN：1672-9722
  • 国内统一刊号：ISSN：42-1372/TP
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:13630