基于串空间模型的Andrew RPC协议的分析与验证
기우천공간모형적Andrew RPC협의적분석여험증
Formal specification and verification of andrew secure RPC protocol based on strand spaces model
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2007年 13期 153-155,158 ,共4页

    周清雷%赵琳%赵东明

    주청뢰%조림%조동명

    安全协议%串空间%Andrew secure RPC协议 安全協議%串空間%Andrew secure RPC協議
    안전협의%천공간%Andrew secure RPC협의
    首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷.
    수선개소료당전안전협의형식화험증적전연방향천공간이론,병운용천공간모형대개진후적Andrew secure RPC협의진행료형식화분석여험증,연후지출료안전결함.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문