首页> 外文OA文献 >Provable Security for Cryptographic Protocols - Exact Analysis and Engineering Applications

【2h】

Provable Security for Cryptographic Protocols - Exact Analysis and Engineering Applications

机译：密码协议的可证明安全性 - 精确分析和工程应用

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
James W. Gray; III; Kin Fai; Kin Fai Epsilon Ip; King-shan Lui;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Provable Cryptographic Security and its Applications to Mobile Wireless Computing [J] . CRAIG GENTRY, ZULFIKAR RAMZAN Wireless personal communications: An Internaional Journal . 2004,第3a4期

机译：可证明的密码安全性及其在移动无线计算中的应用
2. Provable Cryptographic Security and its Applications to Mobile Wireless Computing [J] . Craig Gentry, Zulfikar Ramzan Wireless Personal Communications . 2004,第3a4期

机译：可证明的密码安全性及其在移动无线计算中的应用
3. A Review on Cryptographic Techniques and Security Protocols over Instant Messaging Applications [J] . Nosheen Nazir, Muhammad Sheraz Arshad Malik, Ijaz Shoukat, International journal of computer science and network security . 2018,第8期

机译：即时消息应用程序上的加密技术和安全协议的回顾
4. Provable security for cryptographic protocols-exact analysis and engineering applications [C] . Gray, J.W., III, . 1997

机译：加密协议可证明的安全性-精确的分析和工程应用
5. Automated security analysis of cryptographic protocols using coloured Petri net specifications. [D] . Doyle, Eric Michel. 1996

机译：使用彩色Petri网规范对加密协议进行自动安全性分析。
6. Design and Analysis of Optimization Algorithms to Minimize Cryptographic Processing in BGP Security Protocols [O] . Vinay K. Sriram, Doug Montgomery -1

机译：BGP安全协议中用于最小化加密处理的优化算法的设计和分析
7. Provable security for cryptographic protocols - Exact analysis and engineering applications [O] . Gray JW, Ip KFE, Lui KS 1997

机译：加密协议可证明的安全性-精确的分析和工程应用
8. Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives [R] . Meadows, C. 2000

机译：扩展组协议和低级加密基元的正式密码协议分析技术

Provable Security for Cryptographic Protocols - Exact Analysis and Engineering Applications

著录项

引文网络

相似文献

相关主题

期刊订阅