卢凤清

作品数：2被引量：3H指数：1
导出分析报告
供职机构：中国科学院软件研究所更多>>
发文主题：串空间OTWAY-REES协议形式化方法公平交换协议更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机应用》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
认证测试的一个扩展被引量：2
《中国科学院研究生院学报》2007年第4期488-493,共6页卢凤清 林东岱 
国家973计划(2004CB318004);国家自然科学基金(60673069)资助
对Guttman等人提出的3种测试中的输入测试(incoming test)进行扩展,使其能够用来分析使用签名和验证的协议,如CCITT X.509协议等.使用扩展后的输入测试来分析CCITT X.509协议的正确性,发现它的不足之处.
关键词：串空间 认证测试 变换实施边 变换路径 
对Otway-Rees协议的一个改进方法被引量：1
《计算机应用》2007年第B06期260-260,263,共2页卢凤清 林东岱 
在使用串空间理论对Otway-Rees协议进行分析时发现协议的双方不能保证收到的会话密钥的一致性。针对这一问题,提出了一种改进方法,改进后的方法不仅保证了会话密钥的一致性,而且使双方的认证性得到了改善。
关键词：串空间 认证测试 形式化方法 认证协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部