主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
刘东喜,白英彩.基于Strand空间的认证协议证明方法研究.软件学报,2002,13(7):1313-1317
基于Strand空间的认证协议证明方法研究
Study on the Proof Method of Authentication Protocols Based on Strand Space
投稿时间:2000-10-23  修订日期:2001-03-01
DOI:
中文关键词:  Strand空间  认证协议  协议证明  形式化方法
英文关键词:Strand space  authentication protocol  protocol proof  formal method
基金项目:国家S219工程资助项目(2000-A32-09)
作者单位
刘东喜 上海交通大学,计算机科学与工程系,上海,200030 
白英彩 上海交通大学,计算机科学与工程系,上海,200030 
摘要点击次数: 3343
全文下载次数: 2958
中文摘要:
      Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的认证协议.最后得出与相关文献相同的结论.
英文摘要:
      Strand space is a new model for the analysis of security protocols. In this paper, a systematic study is made on how to prove the existence of vulnerabilities in authentication protocols based on the Strand space. During the proof procedure, the authentication property is proved by using the goal-refined method. Moreover, by introducing type-check mechanism into this model, the proof procedure is simplified significantly. In addition, this method is also applied to authentication protocols involved three prinvolved three principals.At last,the results are got as the relevant literatures.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利