计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2007年
16期
3852-3855,3859
,共5页
安全协议%Rubin逻辑%SSL协议%形式化分析%非单调密码协议
安全協議%Rubin邏輯%SSL協議%形式化分析%非單調密碼協議
안전협의%Rubin라집%SSL협의%형식화분석%비단조밀마협의
SSL协议是一个用于因特网上进行保密通信的实用安全协议,由于它的复杂性,很多形式化分析方法都不适合分析它[1].而适用于分析非单调密码协议的Rubin逻辑,不同于大多数采用"知识"和"信念"的逻辑分析发现安全缺陷的逻辑分析方法,它完整地分析协议过程中的出现所有"动作",不但能清晰地看到SSL协议的不足,还可指出进一步完善SSL协议的方法.
SSL協議是一箇用于因特網上進行保密通信的實用安全協議,由于它的複雜性,很多形式化分析方法都不適閤分析它[1].而適用于分析非單調密碼協議的Rubin邏輯,不同于大多數採用"知識"和"信唸"的邏輯分析髮現安全缺陷的邏輯分析方法,它完整地分析協議過程中的齣現所有"動作",不但能清晰地看到SSL協議的不足,還可指齣進一步完善SSL協議的方法.
SSL협의시일개용우인특망상진행보밀통신적실용안전협의,유우타적복잡성,흔다형식화분석방법도불괄합분석타[1].이괄용우분석비단조밀마협의적Rubin라집,불동우대다수채용"지식"화"신념"적라집분석발현안전결함적라집분석방법,타완정지분석협의과정중적출현소유"동작",불단능청석지간도SSL협의적불족,환가지출진일보완선SSL협의적방법.
