Logical positivist's verifiability principle and Popper's falsifiability principle is an absolute and logical criteria.
逻辑实证主义的可证实标准和波普的可否证标准,提出了绝对的、逻辑的划界标准.
Verifiability: The voting result can be verified by anyone.
可验证性: 投票的结果可被验证.
But signcryption schemes cannot provide forward secrecy and public verifiability as the traditional method does.
然而签密方案不能像传统方法那样同时提供前向安全性和可公开验证性.
Because of the verifiability, accuracy and unambiguity, formal methods can effectively verify the security properties of the authentication protocol.
形式化方法由于其可验证性、准确性以及无二义性的特点,可以有效地对网络认证协议的安全性质进行分析检测。
简答网 · 英语词汇
简答网 · 双语娱乐资讯
简答网 · 高考英语