您的位置： 专家智库 > >

江西省自然科学基金(0611057)

作品数：1 被引量：1H指数：1
相关作者：程莹康汶更多>>
相关机构：江西省信息中心南昌大学更多>>
发文基金：江西省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇握手协议
  • 1篇PROMEL...
  • 1篇SPIN
  • 1篇LTL

机构

  • 1篇南昌大学
  • 1篇江西省信息中...

作者

  • 1篇康汶
  • 1篇程莹

传媒

  • 1篇计算机与数字...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于SPIN的SSL3.0握手协议模型检测被引量：1
2010年
文章介绍了密钥交换协议SSL3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。
程莹康汶
关键词：SPINPROMELALTL
全选 清除 导出
共1页<1>
聚类工具0