一种用于密码协议形式化验证的简单逻辑
일충용우밀마협의형식화험증적간단라집
A Logic for Formal Verification and Design of Cryptographic Protocols
  • 万方数据
    电子科技 전자과기
    IT AGE
    2005年 5期 21-24 ,共4页

    陈玉涛%贾步忠

    진옥도%가보충

    密码协议%形式化验证%协议设计%SVD逻辑%通道 密碼協議%形式化驗證%協議設計%SVD邏輯%通道
    밀마협의%형식화험증%협의설계%SVD라집%통도
    给出了一个可用于密码协议形式化验证与设计的简单逻辑.该逻辑采用抽象的通道概念表示具有多种安全特性的通信链路,可在比现有认证逻辑的更抽象的层次上对协议进行处理.
    급출료일개가용우밀마협의형식화험증여설계적간단라집.해라집채용추상적통도개념표시구유다충안전특성적통신련로,가재비현유인증라집적경추상적층차상대협의진행처리.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문