计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
21期
147-148,151
,共3页
安全协议%关联性%形式化分析
安全協議%關聯性%形式化分析
안전협의%관련성%형식화분석
关联性是安全协议的基本特征,该文提出了协议相关性的分析方法,从主体认证关联、消息间关联、消息内部关联 3个角度分析了协议的相关特征,阐述了相关性的概念和关联规则构建方法,构建了基于关联性的协议描述模型,为安全协议的形式化分析提供了新的思路.
關聯性是安全協議的基本特徵,該文提齣瞭協議相關性的分析方法,從主體認證關聯、消息間關聯、消息內部關聯 3箇角度分析瞭協議的相關特徵,闡述瞭相關性的概唸和關聯規則構建方法,構建瞭基于關聯性的協議描述模型,為安全協議的形式化分析提供瞭新的思路.
관련성시안전협의적기본특정,해문제출료협의상관성적분석방법,종주체인증관련、소식간관련、소식내부관련 3개각도분석료협의적상관특정,천술료상관성적개념화관련규칙구건방법,구건료기우관련성적협의묘술모형,위안전협의적형식화분석제공료신적사로.
