可证明的 可以查清的中释
Probe into the design principle of cipher systems irrelevant to computing power, design cipher systems with provable safety, and analyze the defects of existent cipher systems..探索与计算能力无关的密码体制的设计原理,设计可证明安全性的密码体制,分析现有密码体制的缺陷。