CAJ | 학술논문

认证邮件协议需要满足保密性、公平性、可追究性等安全属性.针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议.同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究.利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点.
인증유건협의수요만족보밀성、공평성、가추구성등안전속성.침대일개전형적인증유건협의재보밀성、가추구성상존재적안전결함,대기진행료개진,제출료일개기우리선반가신제삼방적인증유건협의.동시,위경유효지분석협의적안전속성,대여하재조합협의분석광가하응용Kailar라집분석공평교환협의안전속성적방법진행료연구.이용해방법분석료개진후적협의,병증명료해협의구유만족보밀성、가추구성등안전속성적특점.
@@@@The security attributes of certified e-mail protocol include confidentiality, non-repudiation, fairness. Aiming at to remedy the lack of confidentiality and non-repudiation of the a typical certified mail protocol, an improved certified mail protocol with transparent semi-trusted third party is proposed. To improve the protocol efficiency, a method applying Kailar logic in compositional analysis is proposed for analyzing the improved protocol. The analysis results indicate the improved protocol can meet confidentiality and non-repudiation.