基于串空间模型的改进型 Otway-Rees 协议分析
기우천공간모형적개진형 Otway-Rees 협의분석
  • 万方数据
    信息通信 신식통신
    XINXI TONGXIN
    2012年 3期 160-161 ,共2页

    解颜铭%石曙东%翁艳琴

    해안명%석서동%옹염금

    安全协议%Otway-Rees%协议%串空间%认证性%机密性 安全協議%Otway-Rees%協議%串空間%認證性%機密性
    안전협의%Otway-Rees%협의%천공간%인증성%궤밀성
    串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤.本文在 Otway-Rees 协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的 Otway-Rees 协议进行了形式化的分析.新的 Otway-Rees 协议满足其安全目标,是安全可行的
    천공간모형시일충신흥적밀마협의형식화분석공구,기이론중이상화성실개념적제출대대감소료협의적증명보취.본문재 Otway-Rees 협의결함적기출상대타진행개진,병이용천공간모형적이론대개진후적 Otway-Rees 협의진행료형식화적분석.신적 Otway-Rees 협의만족기안전목표,시안전가행적
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문