一種安全協議組合分析方法
2006-01-01 00:00:00陳強黃連生趙秀文
計算機應用研究 2006年6期
摘要：提出了一種安全協議組合分析方法，即使用通用認證協議規范語言CAPSL描述安全協議，然后使用連接器，將CAPSL規范轉換為其他安全協議分析工具的形式化輸入，從而能夠利用不同分析工具的優點，來更好地保證安全協議形式化分析的準確性，同時也方便了安全協議分析者。設計了兩個CAPSL連接器，并給出一個協議轉換實例。
關鍵詞：安全協議；組合分析；規范語言；連接器
中圖法分類號：TP393.08
文獻標識碼：A
文章編號：1001-3695(2006)06-0105-03
