您的位置： 专家智库 > >

冯珺珺

作品数：1 被引量：2H指数：1
供职机构：同济大学电子与信息工程学院CAD研究中心更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化分析
  • 1篇语义
  • 1篇网络
  • 1篇网络安全
  • 1篇网络安全协议
  • 1篇安全协议

机构

  • 1篇南昌大学
  • 1篇同济大学

作者

  • 1篇江耘
  • 1篇李光耀
  • 1篇冯珺珺

传媒

  • 1篇计算机与现代...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于迹语义的网络安全协议形式化分析被引量：2
2007年
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。本文提出了一种新的简单的迹语义,用于刻画协议部分安全性质,即只针对协议规约的单个主体,此技术支持协议设计者对安全性质进行形式化规约。运用此技术和模型检测器SPIN找到了两种针对TMN协议的攻击,证明了此方法的实用性,可方便地用于其它网络安全协议验证。
冯珺珺李光耀江耘
关键词：安全协议形式化方法
全选 清除 导出
共1页<1>
聚类工具0