您的位置： 专家智库 > >

夏春芬

作品数：1 被引量：1H指数：1
供职机构：黄冈师范学院计算机学院更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇密码
  • 1篇密码协议
  • 1篇安全性

机构

  • 1篇黄冈师范学院

作者

  • 1篇夏春芬
  • 1篇吕建强

传媒

  • 1篇科技信息

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
形式化方法在密码协议中的应用被引量：1
2009年
形式化方法的主要特点是能够发现一个系统中的歧义性、不一致性,本文利用形式化方法的这一特性,将其应用到密码协议当中,可以很好改进密码协议的安全性。
吕建强夏春芬
关键词：形式化密码协议安全性
全选 清除 导出
共1页<1>
聚类工具0