位置：成果数据库 > 期刊 > 期刊详情页
基于细粒度新鲜性的密码协议分析
  • 期刊名称：北京大学学报(自然科学版)
  • 时间：2010.9.9
  • 页码：763-770
  • 分类：TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]上海交通大学计算机科学与工程系,上海200240
  • 相关基金：国家自然科学基金（60973111,60903189）,国家高技术研究发展计划专项经费（2009AA012418）和国家重点基础研究发展计划项目（2007CB311201）资助
  • 相关项目：密码算法的高阶差分分析与可证明安全性
作者： 程正杰|陈克非|来学嘉|
关键词： 密码协议, 新鲜性, 秘密性, cryptographic protocol, freshness, secrecy
中文摘要：

对新鲜性进行了细粒度的定义,并将新鲜性和秘密性结合,完善了基于新鲜性原则的密码协议分析方法。区分了不同主体产生的新鲜性标识符的可信任新鲜性,并对私有秘密和共享秘密给予了更准确的解释。改进后的基于新鲜性原则的密码协议分析方法能够分析并发现Helsinki协议中存在的微妙的安全缺陷。

英文摘要：

Fine-grained definitions of freshness are presented,and both freshness and secrecy are combined to improve the security analysis of cryptographic protocols.Trusted freshness of the nonces generated by different principals are explicitly distinguished.More exact explanations on the private secrecy and shared secrecy are given.The improved method can analyze and find out some existing subtle weaknesses in the Helsinki protocol.

同期刊论文项目
密码算法的高阶差分分析与可证明安全性
期刊论文 19 会议论文 10 专利 2 著作 5
无线传感器网络中信息分发关键技术的研究及实现
期刊论文 16 会议论文 7
网络环境下可证明安全分布式公钥加密体制的研究
期刊论文 24 会议论文 3 著作 1
同项目期刊论文
Improved scheduling algorithms for uplink single carrier FDMA system
A Publish/Subscribe mechanism based on distributed broker architecture in MANET
基于混沌并行遗传算法的多目标无线传感器网络跨层资源分配
Resource scheduling in downlink LTE-advanced system with carrier aggregation
AAA authentication for network mobility
超高斯波束圆口径天线近场辐射特性
一种有效的基于宽带功率放大器强记忆效应特性的PMEC预失真方法
一种安全的高可靠性P2P云存储备份模型初探参考文献
APT、Flame和MD5
基于纠删编码P2P存储系统的数据维护算法
Improved preimage attack on one-block MD4
Improved zero-sum distinguisher for full round Keccak-f permutation
Preimage Attack on Reduced DHA-256
A new One-time Password Method
DNA计算与DNA密码
Unified Impossible Differential Cryptanalysis of ARIA
Chosen-plaintext linear attacks on Serpent
马尔可夫密码理论在实际密钥变换算法下的适用性
Improved Preimage Attack on 3-Pass HAVAL
对白盒SMS4实现的一种有效攻击
Unified Impossible Differentia Cryptanalysis of ARIA
Identity-based key-insulated proxy signature without random oracles
Restrictive partially blind signature for resource-constrained information systems
An Adaptive Key Management Framework for the Wireless Mesh and Sensor Networks
An Efficient Threshold Key-Insulated Signature Scheme
New Constructions of Dynamic Threshold Cryptosystem
Distributed Certificateless Key Encapsulation Mechanism Secure Against the Adaptive Adversary
Practical Certificateless Aggregate Signatures from Bilinear Maps
基于TPM的强身份认证
Identity-Based Threshold Key-Insulated Signature
Distinguishing and relating higher-order and first-order processes by expressiveness
密文策略的属性基并行密钥隔离加密
基于TPM的强身份认证协议研究
两个降低PKG信任级的基于身份的门限密码体制
Towards accountable authority attribute-based encryption
Attribute-Based Signature on Lattices