您的位置: 专家智库 > 作者详情>肖聪

肖聪

作品数:3 被引量:18H指数:3
供职机构:总参谋部更多>>
发文基金:国家重点实验室开放基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 3篇安全协议
  • 2篇AVISPA
  • 1篇形式化
  • 1篇形式化分析

机构

  • 3篇总参谋部

作者

  • 3篇肖聪

传媒

  • 3篇信息安全与通...

年份

  • 1篇2009
  • 1篇2008
  • 1篇2007
3 条 记 录,以下是 1-3
排序方式:
安全协议和网络攻击分析被引量:9
2007年
安全协议提供安全服务,是保证网络安全的基础。文章通过形式化分析方法,采用AVISPA分析工具对安全协议进行分析,总结出网络攻击方式的类型及其相应的解决办法。
徐梦茗肖聪唐六华黄金涛
关键词:安全协议
怎样用好AVISPA工具被引量:3
2009年
AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmacs模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论。
徐梦茗李斌肖聪
关键词:安全协议AVISPA
安全协议形式化分析的研究和实现被引量:11
2008年
安全协议是指使用密码技术或提供安全服务的协议,可以实现认证和密钥交换等安全目的。安全协议分析工具是指一套建立和分析安全协议模型的工具,它采用形式化的分析方法对安全协议进行分析并得出结论。文章以EKE协议为例,采用AVISPA分析工具对其安全性进行分析,给出了安全性与攻击轨迹的关系。
徐梦茗肖聪李斌杜彪
关键词:安全协议形式化AVISPA
共1页<1>
聚类工具0