RSA-CEMD协议的分析及基于串空间模型的形式化证明
RSA-CEMD협의적분석급기우천공간모형적형식화증명
Analysis of the RSA-CEMD Protocol and the Formal Proof Based on the Strand Space Model
  • 万方数据
    计算机工程与科学 계산궤공정여과학
    COMPUTER ENGINEERING & SCIENCE
    2007年 2期 12-14,23 ,共4页

    卜凡金%邢育红

    복범금%형육홍

    公平交换协议%串空间%认证测试%形式化分析 公平交換協議%串空間%認證測試%形式化分析
    공평교환협의%천공간%인증측시%형식화분석
    电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键.本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性用经过扩展的串空间模型进行了形式化分析.
    전자상무협의적최기본임무시보증교역방진행공평교환,이분석교환협의시부보증료공평성취성료분석전자상무협의적관건.본문분석료문헌[1]중적괘호전자유건협의RSA-CEMD협의,지출료기존재적결함,대기진행료수개,병대수개후협의적공평성용경과확전적천공간모형진행료형식화분석.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문