信息安全与通信保密
信息安全與通信保密
신식안전여통신보밀
CHINA INFORMATION SECURITY
2013年
5期
52-54
,共3页
安全协议%形式化方法%pi演算%Applied pi演算
安全協議%形式化方法%pi縯算%Applied pi縯算
안전협의%형식화방법%pi연산%Applied pi연산
安全协议作为确保网络安全的关键技术,其安全性直接决定了网络的安全性能.然而安全协议设计与分析存在着诸多困难,目前采用的主要方法是形式化方法,主要分为模态逻辑的方法、模型检测的方法、定理证明方法3种.这3种方法特性各不相同,试用范围也有所区别,而且这些方法或多或少都存在着一定的缺陷.Applied pi演算是一种专门针对安全协议设计的理论成熟的形式化方法,它的出现为安全协议的分析带来了全新的思路.
安全協議作為確保網絡安全的關鍵技術,其安全性直接決定瞭網絡的安全性能.然而安全協議設計與分析存在著諸多睏難,目前採用的主要方法是形式化方法,主要分為模態邏輯的方法、模型檢測的方法、定理證明方法3種.這3種方法特性各不相同,試用範圍也有所區彆,而且這些方法或多或少都存在著一定的缺陷.Applied pi縯算是一種專門針對安全協議設計的理論成熟的形式化方法,它的齣現為安全協議的分析帶來瞭全新的思路.
안전협의작위학보망락안전적관건기술,기안전성직접결정료망락적안전성능.연이안전협의설계여분석존재착제다곤난,목전채용적주요방법시형식화방법,주요분위모태라집적방법、모형검측적방법、정리증명방법3충.저3충방법특성각불상동,시용범위야유소구별,이차저사방법혹다혹소도존재착일정적결함.Applied pi연산시일충전문침대안전협의설계적이론성숙적형식화방법,타적출현위안전협의적분석대래료전신적사로.
