×

隐标识身份认证方法及其形式化语义分析

消耗积分:3 | 格式:rar | 大小:105 | 2009-04-20

分享资料个

针对用户身份标识在身份认证机制中的安全问题，提出一种隐藏身份标识的身分认证方案，用户毋需提交身份标识即可与服务器实现身份认证，并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明，该协议达到了预期的设计目标。
关键词：隐标识身份认证方法；SVO逻辑；形式化语义分析
下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !