后量子密码学的形式化验证
机构名称:
¥ 1.0

在历史上的大部分时间里,密码方案的安全特性都是通过手写安全证明来证明的。然而,密码学领域的创新和发展导致密码方案的复杂性显著增加。因此,手写安全证明变得更加难以正确执行。事实上,存在多个安全证明实例,尽管它们经过了广泛的审查并被认为是正确的,但结果却是错误的。更糟糕的是,在某些情况下,相应的密码方案还被发现不安全 [1]。这些实例清楚地说明了正确构建和验证密码方案及其安全性证明的重要性和难度。

后量子密码学的形式化验证

主要关键词

后量子密码学的形式化验证PDF文件第1页

后量子密码学的形式化验证PDF文件第2页

后量子密码学的形式化验证PDF文件第3页

相关文件推荐

NIST 量子计划
2018 年
¥1.0
PHM 的验证与确认
2010 年
¥5.0
量子电计量部门
2017 年
¥7.0
绩效的开发和验证...