您的位置： 专家智库 > 资助详情>江苏省自然科学基金(BK200710191)

江苏省自然科学基金(BK200710191)

作品数：1 被引量：0H指数：0
相关作者：杨琳琳周勇更多>>
相关机构：南京航空航天大学更多>>
发文基金：江苏省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>
题名
作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇网络
  • 1篇网络模型

机构

  • 1篇南京航空航天...

作者

  • 1篇周勇
  • 1篇杨琳琳

传媒

  • 1篇南通大学学报...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
相关度排序
用分布式时序逻辑形式化分析IEEE802.11i协议
2010年
基于Caleiro提出的分布式时序逻辑,在其模型中增加了挑战问题集合和挑战应答集合,将IEEE802.11i协议转化为分布式时序逻辑的事件结构语义模型.形式化分析并证明了该协议的保密性以及协议中申请者、认证者、认证服务器之间的相互认证性.结果表明,IEEE802.11i协议是安全的.
杨琳琳周勇
关键词：形式化分析网络模型
全选 清除 导出
共1页<1>
聚类工具0