计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
4期
26-29
,共4页
测试%Needham-Schroeder-Lowe协议%函数程序设计
測試%Needham-Schroeder-Lowe協議%函數程序設計
측시%Needham-Schroeder-Lowe협의%함수정서설계
提出通过测试来证明安全协议的方法.以NS和NSL协议为例,首先将协议形式化为事件序列,协议的性质可以表示为序列上的性质.协议的完整运行可以系统地生成,因此,协议的性质可以系统地测试.形式化和测试在函数程序设计语言Haskell中完成.
提齣通過測試來證明安全協議的方法.以NS和NSL協議為例,首先將協議形式化為事件序列,協議的性質可以錶示為序列上的性質.協議的完整運行可以繫統地生成,因此,協議的性質可以繫統地測試.形式化和測試在函數程序設計語言Haskell中完成.
제출통과측시래증명안전협의적방법.이NS화NSL협의위례,수선장협의형식화위사건서렬,협의적성질가이표시위서렬상적성질.협의적완정운행가이계통지생성,인차,협의적성질가이계통지측시.형식화화측시재함수정서설계어언Haskell중완성.