科技信息
科技信息
과기신식
SCIENTIFIC & TECHNICAL INFORMATION
2009年
6期
563,565
,共2页
形式化%密码协议%安全性
形式化%密碼協議%安全性
형식화%밀마협의%안전성
形式化方法的主要特点是能够发现一个系统中的歧义性、不一致性,本文利用形式化方法的这一特性,将其应用到密码协议当中,可以很好改进密码协议的安全性.
形式化方法的主要特點是能夠髮現一箇繫統中的歧義性、不一緻性,本文利用形式化方法的這一特性,將其應用到密碼協議噹中,可以很好改進密碼協議的安全性.
형식화방법적주요특점시능구발현일개계통중적기의성、불일치성,본문이용형식화방법적저일특성,장기응용도밀마협의당중,가이흔호개진밀마협의적안전성.
