一种基于802.1x的双向认证方法及其形式语义分析

来源 :计算机应用与软件 | 被引量 : 1次 | 上传用户:litang345
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一种基于IEEE802.1x协议的双向认证方法,该方法在一个认证流程内实现客户实体与认证服务器之间和客户实体与认证实体之间的双向认证,以及客户实体与认证实体之间共享密钥的成功分发。通过对安全性的形式语义分析,结果表明该方法成功实现客户实体与认证服务器之间和客户实体与认证实体之间的相互信任。
其他文献
在我国,法人机关与法人的关系原则上是一体的.文章通过案例的引入,分析了对法定代表人诽谤的认定和对受害人的救济.认为对法定代表人的诽谤,既可以构成对法定代表人个人的诽
会计模拟实训室环境建设,直接影响到高职院校会计专业人才培养质量及会计专业可持续发展.研究高职院校会计模拟实训室环境建设的现状和对策,加强会计模拟实训室的建设,具有重
目的:采用经典学习记忆实验观察益智灵胶囊对小鼠学习记忆能力和胆碱酯酶活性的影响.方法:用东莨菪碱模型、乙醇模型和氯霉素模型测小鼠学习记忆能力,微量羟胺法测定脑内胆碱