首页> 外文OA文献 >Formal Proof of Impossibility of Reliability in Crashing Protocols

【2h】

Formal Proof of Impossibility of Reliability in Crashing Protocols

机译：碰撞协议中不可靠性的形式证明

页面导航

著录项
相似文献
相关主题

著录项

作者
K. Gopinath; Anil K. Pugalia; K. V. M. Naidu;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The importance of proofs of security for key establishment protocols Formal analysis of Jan-Chen, Yang-Shen-Shieh, Kim-Huh-Hwang Lee, Lin-Sun-Hwang, and Yeh-Sun protocols [J] . Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock Computer Communications . 2006,第15期

机译：安全证明对关键建立协议的重要性对Jan-Chen，Yang-Shen-Shieh，Kim-Huh-Hwang Lee，Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
2. Formal specifications and proofs of inheritance protocols for real-time scheduling [J] . Pilling M., Burns A. Software Engineering Journal . 1990,第5期

机译：实时调度的正式规范和继承协议的证明
3. Cryptanalysis and improvement of the YAK protocol with formal security proof and security verification via Scyther [J] . International journal of communication systems . 2020,第9期

机译：通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
4. Formal Proof of Impossibility of Reliability in Crashing Protocols [C] . K. Gopinath, Anil K. Pugalia, K.V.M. Naidu International Workshop on Distributed Computing(IWDC 2004); 20041227-30; Kolkata(IN) . 2004

机译：崩溃协议中可靠性的可能性的形式证明
5. Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers. [D] . Weitz, Konstantin. 2017

机译：使用证明助手和SMT解算器的边界网关协议的形式语义和可扩展验证。
6. Erratum to: Access to timely formal dementia care in Europe: protocol of the Actifcare (ACcess to Timely Formal Care) study [O] . Liselot Kerpershoek, Marjolein de Vugt, Claire Wolfs, 2016

机译：勘误至：在欧洲获得及时的正式痴呆护理：Actifcare（及时正规护理的访问）研究方案
7. The Importance of Proofs of Security for Key Establishment Protocols: Formal Analysis of Jan-Chen, Yang-Shen-Shieh, Kim-Huh-Hwang-Lee, Lin-Sun-Hwang, and Yeh-Sun Protocols [O] . Choo Kim-Kwang R., Boyd Colin A., Hitchcock Yvonne 2006

机译：密钥建立协议安全性证明的重要性：Jan-Chen，Yang-Shen-Shieh，Kim-Huh-Hwang-Lee，Lin-Sun-Hwang和Yeh-Sun协议的形式分析

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号