位置：成果数据库 > 期刊 > 期刊详情页
运用SPIN对开放授权协议OAuth2.0的分析与验证
  • ISSN号：1007-130X
  • 期刊名称：计算机工程与科学
  • 时间：2015.11.15
  • 页码：2121-2127
  • 相关项目：基于事件逻辑的安全协议形式化分析及验证
作者： 程道雷|肖美华|刘欣倩|
同期刊论文项目
基于事件逻辑的安全协议形式化分析及验证
期刊论文 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协议安全性质高效验证
The Formal Verification and Improvement of simplified Set Protocol,EI收录
基于SPIN 的Andrew Secure RPC 协议并行攻击模型检测
基于事件逻辑的改进Needham-Schroeder协议安全性证明
基于CAPICOM电子签章系统研究与实现,EI收录
基于G2EM-CI模型的物联网产业集群竞争力研究
一种基于条件相对平均熵的个性化推荐算法
基于对话内容的交互型文本会话主题挖掘
基于改进 GNY 逻辑的 Kerberos ＊协议安全性分析磁
基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁
期刊信息
  • 《计算机工程与科学》
  • 中国科技核心期刊
  • 主管单位:国防科学技术大学
  • 主办单位:国防科学技术大大学计算机学院
  • 主编：王志英
  • 地址：湖南长沙德雅路109号
  • 邮编：410073
  • 邮箱：jsjgcykx@163.net
  • 电话：0731-84576405
  • 国际标准刊号：ISSN：1007-130X
  • 国内统一刊号：ISSN：43-1258/TP
  • 邮发代号:42-153
  • 获奖情况:
  • 湖南省优秀期刊,首届国防科技期刊优秀期刊,《CAJ-CD规范》执行优秀期刊
  • 国内外数据库收录:
  • 英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:16422