Ciphers; Tagging; Standards; Libraries; Message authentication;
机译:通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
机译:形式上的安全证明而不必大惊小怪:工作中隐含的计算复杂性
机译:带有正式安全证明的认证程序集:BBS案例
机译:CMAC及其变体的形式安全证明
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:是否需要进行正式的本科患者交接培训并且教育研讨会可以有效地提供这种培训吗?苏格兰医学院的概念验证研究
机译:使用PVS形式逻辑系统在信息安全系统建设中的正式安全性证明方法中
机译:性能预测模型变量的形式比较