微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2008年
10期
58-60,64
,共4页
模型检测%NSPK协议%Spin
模型檢測%NSPK協議%Spin
모형검측%NSPK협의%Spin
NSPK协议是一个经典的认证密码协议.通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型检测工具spin进行验证,进而生成入侵者的攻击序列.
NSPK協議是一箇經典的認證密碼協議.通過建立該協議的Promela模型,採用線性時序邏輯描述模型性質,併用模型檢測工具spin進行驗證,進而生成入侵者的攻擊序列.
NSPK협의시일개경전적인증밀마협의.통과건립해협의적Promela모형,채용선성시서라집묘술모형성질,병용모형검측공구spin진행험증,진이생성입침자적공격서렬.
