首页> 外文OA文献 >What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis

【2h】

What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis

机译：是什么使加密协议安全？正式密码协议分析中需求规范的演变

页面导航

著录项
相似文献
相关主题

著录项

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

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

相似文献

外文文献
中文文献
专利

1. Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols [J] . Catherine Meadows Science of Computer Programming . 2004,第1a3期

机译：从Satan的菜单订购：对加密协议进行形式分析的需求规范调查
2. On Formal Analysis of Cryptographic Protocols and Supporting Tool [J] . XIAO Meihua, JIANG Yun, LIU Qiaowei 电子学报：英文版 . 2010,第002期

机译：加密协议的形式分析及支持工具
3. A game-theoretic framework for specification and verification of cryptographic protocols [J] . Mohamed Saleh, Mourad Debbabi Formal Aspects of Computing . 2010,第5期

机译：博弈论框架，用于规范和验证密码协议
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. Specification and analysis of Internet cryptographic protocols using a Petri net modeler. [D] . Shao, Yifeng. 1999

机译：使用Petri网络建模器对Internet加密协议进行规范和分析。
6. A Secured Authentication Protocol for Wireless Sensor Networks Using Elliptic Curves Cryptography [O] . Hsiu-Lien Yeh, Tien-Ho Chen, Pin-Chuan Liu, 2011

机译：使用椭圆曲线密码技术的无线传感器网络安全认证协议
7. What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis [O] . Catherine Meadows 2003

机译：是什么让加密协议安全？正式加密协议分析中需求规范的演变
8. What Makes a Cryptographic Protocol Secure. The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis [R] . Meadows, C. 2003

机译：是什么使密码协议安全。正式密码协议分析中需求规范的演变

What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis

著录项

相似文献

相关主题

期刊订阅