首页> 外文OA文献 >Variations on the Themes of Message Freshness and Replay - or the Difficulty in Devising Formal Methods to Analyze Cryptographic Protocols

【2h】

Variations on the Themes of Message Freshness and Replay - or the Difficulty in Devising Formal Methods to Analyze Cryptographic Protocols

机译：消息新鲜度和重放主题的变化 - 或者设计分析密码协议的正式方法的难度

页面导航

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

著录项

作者
Li Gong;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Energy-aware dynamic Internet of Things security system based on Elliptic Curve Cryptography and Message Queue Telemetry Transport protocol for mitigating Replay attacks [J] . De Rango Floriano, Potrino Giuseppe, Tropea Mauro, Pervasive and Mobile Computing . 2020,第期

机译：基于椭圆曲线加密和消息队列遥测传输协议的基于椭圆曲线加密和消息队列遥测传输协议的能量感知动态互联网
2. A new method for analyzing the security of cryptographic protocols [J] . Toussaint M.J. IEEE Journal on Selected Areas in Communications . 1993,第5期

机译：分析密码协议安全性的新方法
3. Formal methods for cryptographic protocol analysis: emerging issues and trends [J] . Meadows C. IEEE Journal on Selected Areas in Communications . 2003,第1期

机译：加密协议分析的正式方法：新出现的问题和趋势
4. Variations on the themes of message freshness and replay-or the difficulty in devising formal methods to analyze cryptographic protocols [C] . Gong, L. . 1993

机译：消息新鲜度和重播主题的变化，或者设计正式方法来分析密码协议的难度
5. On formal methods of checking cryptographic protocols. [D] . Liang, Zhiyao. 2008

机译：关于检查密码协议的正式方法。
6. Protocol for a thematic synthesis to identify key themes and messages from a palliative care research network [O] . Emma Nicholson, Tara Murphy, Philip Larkin, 2016

机译：用于主题综合的协议以识别来自姑息治疗研究网络的关键主题和消息
7. A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols [O] . Han Gao, Chiara Bodei, Pierpaolo Degano, 2008

机译：捕获密码协议中重放攻击的形式化分析
8. Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives [R] . Meadows, C. 2000

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

Variations on the Themes of Message Freshness and Replay - or the Difficulty in Devising Formal Methods to Analyze Cryptographic Protocols

著录项

引文网络

相似文献

相关主题

期刊订阅