一种基于802.1x的双向认证方法及其形式语义分析
일충기우802.1x적쌍향인증방법급기형식어의분석
AN 802.1x BASED MUTUAL AUTHENTICATION SCHEME AND ITS FORMAL SEMANTICS ANALYSIS
  • 万方数据
    计算机应用与软件 계산궤응용여연건
    COMPUTER APPLICATIONS AND SOFTWARE
    2011年 8期 146-148,151 ,共4页

    李爱玲%郭建林%韦潜

    리애령%곽건림%위잠

    IEEE802.1x%双向认证%机密数%形式语义分析 IEEE802.1x%雙嚮認證%機密數%形式語義分析
    IEEE802.1x%쌍향인증%궤밀수%형식어의분석
    提出一种基于IEEE802.1x协议的双向认证方法,该方法在一个认证流程内实现客户实体与认证服务器之间和客户实体与认证实体之间的双向认证,以及客户实体与认证实体之间共享密钥的成功分发.通过对安全性的形式语义分析,结果表明该方法成功实现客户实体与认证服务器之间和客户实体与认证实体之间的相互信任.
    제출일충기우IEEE802.1x협의적쌍향인증방법,해방법재일개인증류정내실현객호실체여인증복무기지간화객호실체여인증실체지간적쌍향인증,이급객호실체여인증실체지간공향밀약적성공분발.통과대안전성적형식어의분석,결과표명해방법성공실현객호실체여인증복무기지간화객호실체여인증실체지간적상호신임.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문