您的位置： 专家智库 > >

贵州省自然科学基金(20042111)

作品数：1 被引量：0H指数：0
相关作者：李祥张梅文静华更多>>
相关机构：贵州财经大学贵州大学更多>>
发文基金：贵州省教育厅自然科学研究项目贵州省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇密码
  • 1篇密码协议
  • 1篇分析方法
  • 1篇安全性
  • 1篇ATL

机构

  • 1篇贵州大学
  • 1篇贵州财经大学

作者

  • 1篇文静华
  • 1篇张梅
  • 1篇李祥

传媒

  • 1篇计算机应用

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种新的密码协议分析方法及其应用
2006年
针对传统时序逻辑把协议看成封闭系统进行分析的缺点,提出一种新的基于策略的ATL(AlternatingtimeTemporalLogic)逻辑方法分析密码协议。最后用新方法对NeedhamSchroeder协议进行了严格的形式化分析,结果验证了该协议存在重放攻击。工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。
文静华张梅李祥
关键词：密码协议安全性形式化分析ATL
全选 清除 导出
共1页<1>
聚类工具0