计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2008年
11期
6-7,30
,共3页
TLS协议%串空间%认证测试方法%中间人攻击
TLS協議%串空間%認證測試方法%中間人攻擊
TLS협의%천공간%인증측시방법%중간인공격
TLS(传输层安全)协议被广泛用来保证Web的安全,为了分析其安全性,用串空间模型对其进行形式化描述,并用认证测试方法分别对客户端和服务器端的认证性进行分析,证明协议存在中间人攻击,通过修改认证测试方法的测试元素对协议形式进行改进,并证明改进后协议的正确性.
TLS(傳輸層安全)協議被廣汎用來保證Web的安全,為瞭分析其安全性,用串空間模型對其進行形式化描述,併用認證測試方法分彆對客戶耑和服務器耑的認證性進行分析,證明協議存在中間人攻擊,通過脩改認證測試方法的測試元素對協議形式進行改進,併證明改進後協議的正確性.
TLS(전수층안전)협의피엄범용래보증Web적안전,위료분석기안전성,용천공간모형대기진행형식화묘술,병용인증측시방법분별대객호단화복무기단적인증성진행분석,증명협의존재중간인공격,통과수개인증측시방법적측시원소대협의형식진행개진,병증명개진후협의적정학성.
