位置：立项数据库 > 立项详情页
可证明抗边界信道攻击的密码算法研究
  • 项目名称：可证明抗边界信道攻击的密码算法研究
  • 项目类别：面上项目
  • 批准号：60573031
  • 申请代码：F020704
  • 项目来源：国家自然科学基金
  • 研究期限：2006-01-01-2008-12-31
  • 项目负责人：谷大武
  • 负责人职称：教授
  • 依托单位：上海交通大学
  • 批准年度：2005
中文摘要：

可证明安全性是现代密码方案追求的目标。在特定的攻击模型和安全性假设下，攻破具有可证明安全性的密码方案是不可行的。本项目拟将可证明安全的理论与方法引入到边界信道攻击的研究中，利用归约的思想，首先对某些典型的边界信道攻击的模型进行形式化描述，并对若干基本密码模块的抗攻击能力进行形式化定义，然后在该定义下研究与设计安全的密码模块，并对由密码模块到密码算法的体系结构进行定性和定量推理，从而建立一套较完整的可证明抗边界信道攻击的密码算法理论与方法。现有的可证明安全的理论与方法不能直接用于可证明抗边界信道攻击的研究，因为现有的工作是从算法到方案/协议的归约，而本项目需要建立从模块到算法的归约。该项研究将为抗边界信道攻击的密码芯片设计提供理论和算法依据，有助于从本质上揭示边界信道攻击的基本原理，使得对边界信道攻击的深入和系统地研究成为可能。

中文主题词： 边界信道攻击(SCA);时间攻击;功耗分析;故障分析;可证明安全
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 16
  • 16
  • 0
  • 0
  • 0
期刊论文
Efficient Hierarchical Identity Based Signature Scheme in the Standard Model
Ono Invariants of Imaginary quadratic Fields with Class Number Three
基于密钥编排故障的SMS4算法的差分故障分析
Differential Fault Analysis on the Contracting UFN Structure, with Application to SMS4 and MacGuffin
Efficient Hierarchical Identity Based Encryption Scheme in the Standard Model
Formalization of Fault Analysis and a New Approach of Fault Detection
Efficient Scalar Multiplication for Elliptic Curve over Binary Field
Differential Fault Analysis on the ARIA Algorithm
Resistance against Side Channel Attack for RSA Cryptosystem
Further Analysis of Block Ciphers against Timing attacks
On Sequential Composition of Precise Zero-Knowledge
Precise Zero-Knowledge Arguments with Poly-logarithmic Efficiency
Efficient Scalar Multiplication for Elliptic Curves over Binary Fields
Formalization of a New Approach Fault Analysis and of Fault Detection
公钥密码方案的可证明安全性注记
RSA体制使用随机算法防御时间攻击
会议论文
利用瞬时故障攻击SMS4密码的研究
基于身份的广播加密方案研究
可证明安全的公钥签密方案
Restricted-Verifier Precise Bounded- Concurrent Zero-Knowledge
An Approach for Symmetric Encryption against Side Channel Attacks in Provable Security
A First Step to Provable Security in Block Ciphers against Side Channel Attacks
On the Undecidability of Quasi-Private -Key-Encryption Statistical Indistinguishability
A Discrete-Logarithm Based Non-Interactive Non-Malleable Commitment Scheme with an Online Knowledge
Security Analysis of DVB Common Scrambling Algorithm
Constant-Round Restricted-Verifier Zero-Knowledge with Polynomial Precision
Efficient Hierarchical Identity Based Signature Scheme in the Standard Model
Efficient Scalar Multiplication for Elliptic Curve over Binary Field
Further Analysis of Block Ciphers against Timing attacks
Secure Hierarchical Identity Based Encryption Scheme in the Standard Model
An Improved Method of Differential Fault Analysis on the SMS4 Cryptosystem
Efficient Identity Based Signature/ Signcryption Scheme in the Standard Model
相关项目
后量子理想格上密码方案的新型设计与可证明安全
期刊论文 23 会议论文 4
分组密码的故障分析研究
期刊论文 20 会议论文 6 获奖 8
无线网络路由协议的可证安全设计与自动化安全分析方法研究
期刊论文 23 会议论文 10 专利 2
实用抗泄漏密码学算法研究
期刊论文 16 会议论文 11 著作 1
标准模型下可证明安全的新型分级身份基加密研究
期刊论文 34 会议论文 9
高保障分布式数字签名技术的研究
期刊论文 4 会议论文 2
通用可组合安全的数字签名体制的研究
期刊论文 13 会议论文 1
代理重加密理论及其应用
期刊论文 7 会议论文 8
交直流混联大电网多直流系统间谐波相互作用机理的研究
期刊论文 4 会议论文 4 专利 2
谷大武的项目
2010年电子取证国际会议
认证加密算法的安全性分析研究
期刊论文 1
轻量级对称密码的故障攻击方法研究与实验验证
期刊论文 18 会议论文 15
　新型物联网认证体系研发
　对称密码算法的分析与设计
　一类互联网软件的分析与控制技术研究
期刊论文 5
开放网络环境下安全群组通信的分布式密钥管理技术
期刊论文 4
移动智能终端系统的漏洞分析与对抗技术研究