1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 资格/认证考试
  5. 质量管理体系认证

形式化验证认证协议地研究.pdfVIP

  • 7
  • 0
  • 约1.62万字
  • 约 3页
  • 2017-08-15 发布于安徽
  • 举报

形式化验证认证协议地研究.pdf

    第25卷特刊 计算机工程 1999年10月 v01．25 October1999 SpecialIssue ComputerEngineering 中围分类号：TN309、TN918·1 ·1999信息安全国际会议论文· 文章编号：1000～3428(1999)特：[IJ--0139—03 形式化验证认证协议的研究 肖德琴“2 (1中国科学院软件所计算机科学实验室，北京100080；2华南农业大学理学院，广州510642) 摘要：认证协议设计和实现的安全性分析是网络安全的重妻课题，迪来越多的人关注这个方向的发展。在此系统地讨论丁认证协议形式验 Checking的构想。 证研究的前沿

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >