微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2006年
3期
160-164
,共5页
有色Petri网%CPN Tools%安全协议%Needham-Schroedor公钥协议%建模
有色Petri網%CPN Tools%安全協議%Needham-Schroedor公鑰協議%建模
유색Petri망%CPN Tools%안전협의%Needham-Schroedor공약협의%건모
提出了一种用有色Petri网对安全协议建模,并通过模拟和对状态空间检测来发现协议漏洞的方法.利用这一方法对著名的Needham-Schroedor公钥协议建模,然后用CPN Tools实现并对协议进行检测,发现了协议存在的漏洞.应用结果表明,方法有效.
提齣瞭一種用有色Petri網對安全協議建模,併通過模擬和對狀態空間檢測來髮現協議漏洞的方法.利用這一方法對著名的Needham-Schroedor公鑰協議建模,然後用CPN Tools實現併對協議進行檢測,髮現瞭協議存在的漏洞.應用結果錶明,方法有效.
제출료일충용유색Petri망대안전협의건모,병통과모의화대상태공간검측래발현협의루동적방법.이용저일방법대저명적Needham-Schroedor공약협의건모,연후용CPN Tools실현병대협의진행검측,발현료협의존재적루동.응용결과표명,방법유효.