计算机安全
計算機安全
계산궤안전
NETWORK AND COMPUTER SECURITY
2013年
6期
17-21
,共5页
串空间%Kerberos协议%形式化方法
串空間%Kerberos協議%形式化方法
천공간%Kerberos협의%형식화방법
串空间是一种基于定理证明的,新兴的安全协议形式化分析模型.认证协议使用密码技术实现网络环境下的身份认证和信息保密.建立了Kerberos协议的串空间模型,并进行了安全性分析,证实了Kerberos协议是安全的.此外还说明了Kerberos协议存在的不安全因素及努力的方向.
串空間是一種基于定理證明的,新興的安全協議形式化分析模型.認證協議使用密碼技術實現網絡環境下的身份認證和信息保密.建立瞭Kerberos協議的串空間模型,併進行瞭安全性分析,證實瞭Kerberos協議是安全的.此外還說明瞭Kerberos協議存在的不安全因素及努力的方嚮.
천공간시일충기우정리증명적,신흥적안전협의형식화분석모형.인증협의사용밀마기술실현망락배경하적신빈인증화신식보밀.건립료Kerberos협의적천공간모형,병진행료안전성분석,증실료Kerberos협의시안전적.차외환설명료Kerberos협의존재적불안전인소급노력적방향.
