您的位置： 专家智库 > >

周莉

作品数：1 被引量：1H指数：1
供职机构：江苏省现代企业信息化应用支撑软件工程技术研究开发中心更多>>
发文基金：江苏省现代企业信息化应用支撑软件工程技术研发中心开放基金江苏省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇网络
  • 1篇网络安全
  • 1篇网络安全认证
  • 1篇无线
  • 1篇可扩展
  • 1篇可扩展认证协...
  • 1篇SPIN
  • 1篇传输层
  • 1篇传输层安全

机构

  • 1篇苏州经贸职业...
  • 1篇江苏省现代企...

作者

  • 1篇董虎胜
  • 1篇陆萍
  • 1篇谭方勇
  • 1篇周莉

传媒

  • 1篇煤炭技术

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
SPIN在无线网络安全认证协议建模中的应用被引量：1
2013年
为确保无线网络安全认证,应用模型检查工具SPIN对EAP-TLS认证协议进行建模,根据SPIN给出攻击轨迹,指出EAP-TLS可能存在双向认证失败的安全隐患,从抵抗攻击和协议改进提出了基于隧道的认证方法。使用SPIN PROMELA语言对通信各方建模,用线性时态逻辑LTL表示安全属性,提出了将SPIN应用于认证协议的验证方法。
周莉陆萍董虎胜谭方勇
关键词：可扩展认证协议传输层安全
全选 清除 导出
共1页<1>
聚类工具0