通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2008年
10期
19-24
,共6页
远程证明%认证协议%演化计算%BAN逻辑
遠程證明%認證協議%縯化計算%BAN邏輯
원정증명%인증협의%연화계산%BAN라집
通过引入优胜劣汰的自然规律,提出了改进的基于演化计算的密码协议自动化设计方法.该方法采用模态逻辑作为描述协议的基本工具,重点改进了衡量安全协议个体性能的评估函数,以求获得全局最优解.实验结果显示,该方法能保证所设计协议的正确性和安全性,具有较强的可行性和适用性.
通過引入優勝劣汰的自然規律,提齣瞭改進的基于縯化計算的密碼協議自動化設計方法.該方法採用模態邏輯作為描述協議的基本工具,重點改進瞭衡量安全協議箇體性能的評估函數,以求穫得全跼最優解.實驗結果顯示,該方法能保證所設計協議的正確性和安全性,具有較彊的可行性和適用性.
통과인입우성렬태적자연규률,제출료개진적기우연화계산적밀마협의자동화설계방법.해방법채용모태라집작위묘술협의적기본공구,중점개진료형량안전협의개체성능적평고함수,이구획득전국최우해.실험결과현시,해방법능보증소설계협의적정학성화안전성,구유교강적가행성화괄용성.
