位置：成果数据库 > 期刊 > 期刊详情页
基于SPIN 的Andrew Secure RPC 协议并行攻击模型检测
  • ISSN号：1002-137X
  • 期刊名称：计算机科学
  • 时间：2014.12.10
  • 页码：78-82
  • 相关项目：基于事件逻辑的安全协议形式化分析及验证
作者： 肖美华|朱科|马成林|
同期刊论文项目
基于事件逻辑的安全协议形式化分析及验证
期刊论文 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收录
基于事件逻辑的改进Needham-Schroeder协议安全性证明
运用SPIN对开放授权协议OAuth2.0的分析与验证
基于CAPICOM电子签章系统研究与实现,EI收录
基于G2EM-CI模型的物联网产业集群竞争力研究
一种基于条件相对平均熵的个性化推荐算法
基于对话内容的交互型文本会话主题挖掘
基于改进 GNY 逻辑的 Kerberos ＊协议安全性分析磁
基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁
期刊信息
  • 《计算机科学》
  • 北大核心期刊（2011版）
  • 主管单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主办单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主编：陈国良
  • 地址：重庆市渝北区洪湖西路18号
  • 邮编：401121
  • 邮箱：jsjkx12@163.com
  • 电话：023-63500828
  • 国际标准刊号：ISSN：1002-137X
  • 国内统一刊号：ISSN：50-1075/TP
  • 邮发代号:78-68
  • 获奖情况:
  • 2001年重庆市优秀期刊,2004年第三届重庆市优秀科技期刊,2005年重庆市优秀期刊编辑部,2010年第六届重庆市期刊综合质量考核"十佳科技期刊",2012年重庆市出版专项资金报刊资助项目（重庆市新...,2013年重庆市出版专项资金重点学术期刊资助项目（...,2014年重庆市出版专项资金期刊资助项目（重庆市文...,2015年"中国国际影响力优秀学术期刊"
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国乌利希期刊指南,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:41227