夏春芬

作品数：1被引量：1H指数：1
导出分析报告
供职机构：黄冈师范学院计算机学院更多>>
发文主题：安全性形式化方法形式化密码协议更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《科技信息》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形式化方法在密码协议中的应用被引量：1
《科技信息》2009年第6期211-211,213,共2页吕建强 夏春芬 
形式化方法的主要特点是能够发现一个系统中的歧义性、不一致性,本文利用形式化方法的这一特性,将其应用到密码协议当中,可以很好改进密码协议的安全性。
关键词：形式化 密码协议 安全性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部