您的位置: 专家智库 > >

田国良

作品数:3 被引量:3H指数:1
供职机构:南京邮电大学软件学院更多>>
发文基金:国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇安全协议
  • 2篇SPIN
  • 1篇形式化
  • 1篇形式化分析
  • 1篇形式化分析方...
  • 1篇语言建模
  • 1篇网络
  • 1篇网络安全
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇PROMEL...

机构

  • 3篇南京邮电大学

作者

  • 3篇田国良
  • 2篇陈春玲

传媒

  • 1篇电力系统通信
  • 1篇南京航空航天...

年份

  • 2篇2009
  • 1篇2008
3 条 记 录,以下是 1-3
排序方式:
NSPK协议的Promela语言建模及分析
2008年
重点提出了对NSPK协议进行建模设计的思想和方法,阐述了如何用Promela语言实现模型的关键技术。使用Spin对该模型进行行为模拟和属性校验,结果既能保证协议的正常执行,也能帮助发现安全缺陷。
田国良陈春玲
关键词:SPINPROMELA
安全协议的SPIN建模与分析被引量:3
2009年
总结了利用模型检测工具SPIN对安全协议进行建模的方法。以Helsinki协议和Helsinki改进协议作为分析实例,用Promela语言建模并使用SPIN对模型进行行为模拟和属性校验,发现了Helsinki存在的Horng-Hsu攻击漏洞以及Helsinki改进协议存在的DoS攻击隐患。该方法具有较好的通用性,容易推广到有多个主体参与的安全协议的分析。
陈春玲田国良
关键词:安全协议
安全协议的形式化分析方法及验证技术研究
计算机网络安全问题日益引起人们的重视。安全协议是用来保证网络通信安全的重要工具。但研究证明安全协议大多数都有安全漏洞。作为信息安全的一项重要研究内容,安全协议的分析具有极为重要的理论意义和实际价值。论文以形式化分析方法为...
田国良
关键词:计算机网络网络安全安全协议
文献传递
共1页<1>
聚类工具0