返回信息流可证明安全性是用来干什么的,能用来证明什么呢,求助
网上看的实在是不太明白
不知道这个是不是信息安全的一个热点
这是一条镜像帖。来源:北邮人论坛 / security / #31807同步于 2011/2/26
该镜像源已超过 30 天没有更新,可能在源站已被删除。
Security机器人发帖
有了解可证明安全性的同学么,求助
talentlin8
2011/2/26镜像同步3 回复
订阅后,新回复会通过你的通知中心匿名送达。
3 条回复
呃……
这个是说:信息是不可抵赖的 还是 数学上能给出证明某系统是安全的?
lx是大牛,请继续。
【 在 talentlin8 ( ) 的大作中提到: 】
: 可证明安全性是用来干什么的,能用来证明什么呢,求助
: 网上看的实在是不太明白
: 不知道这个是不是信息安全的一个热点
: ...................
可证明安全性是将密码体制的安全性归结为求解某个经过深入研究但尚未解决的数学难题,即将某种密码体制的安全性问题等价为一个数学难题的求解问题,例如大整数因子分解问题和离散对数问题。
《现代密码学教程》(谷利泽等)
A cryptographicmethod is said to be provably secure if the difficulty of defeating it can be shown to be essentially as difficult as solving a well-known and supposedly difficult (typically
number-theoretic) problem, such as integer factorization or the computation of discrete logarithms. Thus, “provable” here means provable subject to assumptions. This approach is considered by some to be as good a practical analysis technique as exists. Provable security may be considered part of a special sub-class of the larger class of computational security.
《Handbook of Applied Cryptography》 Chapter 1
通常用于论证公钥密码体制的安全性。比如RSA算法,攻击者想由私钥求得公钥,关键是解决大整数因子分解问题,而后者是一个难解问题,所以说RSA算法是安全的。
这是密码学中的定义,不知道是不是lz所说的。