大连理工大学学报
大連理工大學學報
대련리공대학학보
JOURNAL OF DALIAN UNIVERSITY OF TECHNOLOGY
2003年
z1期
5-8
,共4页
串空间%安全协议%网络
串空間%安全協議%網絡
천공간%안전협의%망락
网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长.同时由于安全要求的多样化以及攻击方式的层出不穷使得对于网络安全协议的形式化分析的效率和准确性提出了更高的要求.原有的形式化分析方法通常不可避免地出现状态空间爆炸问题,这使得对于日益增长的网络通信规模下的复杂协议的分析变得十分困难.串空间理论(strand space theory)的出现提供了避免状态爆炸问题、提高协议形式化分析效率的有效方法.用几个简单协议为例说明了如何利用串空间理论有效地进行协议的形式化分析.
網絡通信的普及和髮展使得對網絡協議尤其是安全協議的需求日益增長.同時由于安全要求的多樣化以及攻擊方式的層齣不窮使得對于網絡安全協議的形式化分析的效率和準確性提齣瞭更高的要求.原有的形式化分析方法通常不可避免地齣現狀態空間爆炸問題,這使得對于日益增長的網絡通信規模下的複雜協議的分析變得十分睏難.串空間理論(strand space theory)的齣現提供瞭避免狀態爆炸問題、提高協議形式化分析效率的有效方法.用幾箇簡單協議為例說明瞭如何利用串空間理論有效地進行協議的形式化分析.
망락통신적보급화발전사득대망락협의우기시안전협의적수구일익증장.동시유우안전요구적다양화이급공격방식적층출불궁사득대우망락안전협의적형식화분석적효솔화준학성제출료경고적요구.원유적형식화분석방법통상불가피면지출현상태공간폭작문제,저사득대우일익증장적망락통신규모하적복잡협의적분석변득십분곤난.천공간이론(strand space theory)적출현제공료피면상태폭작문제、제고협의형식화분석효솔적유효방법.용궤개간단협의위례설명료여하이용천공간이론유효지진행협의적형식화분석.
