资料下载
×
一种快速安全认证协议及其形式化分析
消耗积分:2 |
格式:rar |
大小:269 |
2009-07-10
微风挽雨
分享资料个
介绍了现有的常用身份认证方法，分析了其安全性和不足之处，针对安全性和效率问
题，提出了一种可实现快速安全认证的一种新协议，并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率，结果证明该协议既具有基于证书的公钥密码体制的安全性，又保持了对称密码体制的高效性。
关键词：认证协议 效率 形式化分析 PCL
Abstract：Introduce the ways of authentication in this paper. Put forward a new design of Authentication Protocol for the security and efficiency. Formally analysis the security properties of improved designs with Protocol Composition Logic, Results show that the security Protocol is secure and is a highly efficient.
Key words： authentication protocol; efficiency; Formally analysis ;PCL
题，提出了一种可实现快速安全认证的一种新协议，并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率，结果证明该协议既具有基于证书的公钥密码体制的安全性，又保持了对称密码体制的高效性。
关键词：认证协议 效率 形式化分析 PCL
Abstract：Introduce the ways of authentication in this paper. Put forward a new design of Authentication Protocol for the security and efficiency. Formally analysis the security properties of improved designs with Protocol Composition Logic, Results show that the security Protocol is secure and is a highly efficient.
Key words： authentication protocol; efficiency; Formally analysis ;PCL
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
