首页> 外文OA文献 >Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives

【2h】

Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives

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

页面导航

著录项
相似文献
相关主题

著录项

作者
Catherine Meadows Center; Catherine Meadows;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model [J] . Bo Meng Information Technology Journal . 2011,第6期

机译：符号模型和计算模型中选择的加密基元和安全协议分析的调查
2. A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model [J] . Bo Meng Information Technology Journal . 2011,第6期

机译：符号模型和计算模型中选择的加密基元和安全协议分析的调查
3. On Formal Analysis of Cryptographic Protocols and Supporting Tool [J] . XIAO Meihua, JIANG Yun, LIU Qiaowei 电子学报：英文版 . 2010,第002期

机译：加密协议的形式分析及支持工具
4. What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis [C] . Catherine Meadows Programming Languages and Systems . 2003

机译：是什么使加密协议安全？正式密码协议分析中需求规范的演变
5. On the computational soundness of formal analysis of cryptographic protocols. [D] . Warinschi, Bogdan. 2004

机译：关于加密协议形式分析的计算合理性。
6. Design and Analysis of Optimization Algorithms to Minimize Cryptographic Processing in BGP Security Protocols [O] . Vinay K. Sriram, Doug Montgomery -1

机译：BGP安全协议中用于最小化加密处理的优化算法的设计和分析
7. What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis [O] . Catherine Meadows 2003

机译：是什么使加密协议安全？正式密码协议分析中需求规范的演变
8. Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives [R] . Meadows, C. 2000

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

Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives

著录项

相似文献

相关主题

期刊订阅