1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. Java
网站大量收购独家精品文档，联系QQ：2885784924

安全协议形式化分析方法 - 信息工程大学学报.pdf

安全协议形式化分析方法 - 信息工程大学学报.pdf

    1. 1、本文档共5页，其中可免费阅读2页，需付费100金币后方可阅读剩余内容。
    2. 2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
    3. 3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
    4. 4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
    查看更多
    第卷第期信息工程大学学报年月安全协议形式化分析方法韩继红郭渊博王亚弟信息工程大学电子技术学院河南郑州摘要安全协议的形式化分析是检验协议安全性的必要手段为了实现协议的规范描述和合理完备的安全性验证各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域主要从逻辑方法模型检测方法和证明方法个方面对符号化的安全协议形式化分析方法进行了综述并指出了今后该领域的研究方向关键词安全协议形式化方法逻辑模型检测证明申图分类号文献标识码文章编号安全协议是解决网络和分布式系统中安全问要对符号化验证方法的研

    第 9 卷第 3 期 信息工程大学学报 Vo l. 9 No.3 2008 年 9 月 Journal of InformatiQn Engineering University Sep.2008 安全协议形式化分析方法 韩继红，郭渊博，王亚弟 (信息工程大学电子技术学院，

    您可能关注的文档

    最近下载

    文档评论（0）

    yanpizhuang + 关注
    实名认证
    内容提供者

    该用户很懒，什么也没介绍

    咨询Ta 进入空间

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >