资讯科学研究社群正在争论如何制作出确实安全的软体。
编写，分析并优化新的算法或数据结构并证实比现有方案更优。
仔细进行源分析可以从此类条件推理出证实正确的结论。
利用双线性映射技术设计了一个有效的在标准模型下可证安全的数字签名方案。
安全性分析表明，在假设CDH问题是难解的情况下，该方案在随机预言模型中是可证安全的。
在随机预言模型下，该方案在适应性选择密文攻击下是可证明安全的。
通过对一个标准模型下可证安全的无证书签名方案进行分析，指出该方案是不安全的。
在HTML5之前，标准兼容简直就不可能被加以证明。
这些函数将验证所有字符串，除非这些字符串可证明为无效。
我认为简对此有自己的看法。-你知道，我认为…嗯，我不认为那是可证实的事实。
在BMW方案的基础上构建可证明安全性的具有权限特性的群签名方案。
零级无知：没有无知。当大概知道什么，称为有0OI。
其次，这个方案是可证明安全的，即在随机应答模型下，方案在给定身份和选择明文攻击下是不可伪造的；