...
机译:签密安全性的正式证明
Institute for Infocomm Research, 21 Hene Mui Keng Terrace, Singapore 119613;
signcryption; flexible signcryption/unsigncryption oracle models; gap diffie-hellman problem; gap discrete log problem;
机译:通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
机译:形式上的安全证明而不必大惊小怪:工作中隐含的计算复杂性
机译:带有正式安全证明的认证程序集:BBS案例
机译:具有正式安全性证明的分布式签密方案
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:是否需要进行正式的本科患者交接培训并且教育研讨会可以有效地提供这种培训吗?苏格兰医学院的概念验证研究
机译:签密安全的形式证明