您的位置： 专家智库 > >

张慧

作品数：2 被引量：0H指数：0
供职机构：南昌大学信息工程学院更多>>
发文基金：江西省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇形式化验证
  • 1篇服务器
  • 1篇安全协议
  • 1篇AAA
  • 1篇AAA系统
  • 1篇DIAMET...
  • 1篇MIPV6

机构

  • 2篇南昌大学

作者

  • 2篇郑超美
  • 2篇张慧
  • 1篇肖美华

传媒

  • 1篇计算机安全
  • 1篇微计算机信息

年份

  • 1篇2008
  • 1篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
安全协议的形式化验证方法概述
2007年
安全协议验证是网络安全领域中重大课题之一,目前对安全协议进行分析的主流方法是形式化方法。该文对现在常用的几种形式化验证方法进行了概述和分析,最后针对形式化技术在该领域的发展前景提出了自己的见解。
张慧郑超美
关键词：安全协议形式化方法
基于MIPv6的AAA系统结构研究
2008年
本文研究下一代AAA协议即Diameter协议,分析了基于Diameter的AAA系统。提出了一个基于Diameter的AAA服务器的架构设计,并基于Diameter协议MIPv6扩展应用,提出MIPv6的AAA系统结构初步设计。
郑超美张慧肖美华
关键词：AAADIAMETER服务器MIPV6
全选 清除 导出
共1页<1>
聚类工具0