.png){kind=icon}
返回
Formal methods for cryptographic protocol analysis: Emerging issues and trends
.png){kind=icon}
PRE
AI
DOI：10.1109/JSAC.2002.806125.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The history of the application of formal methods to cryptographic protocol analysis spans over 20 years and recently has been showing signs of new maturity and consolidation. Not only have a number of specialized tools been developed, and general-purpose ones been adapted, but people have begun applying these tools to realistic protocols, in many cases supplying feedback to designers that can be used to improve the protocol's security. In this paper, we will describe some of the ongoing work in this area, as well as describe some of the new challenges and the ways in which they are being met.
Keyword:
cryptographic protocols
formal methods
security
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
17.2
论文数:
6.5K
被引数:
3.1W
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏
查看更多内容