《歸約方法與形式化方法相結合的安全協定驗證技術研究》是依託中國科學院大學，由姬東耀擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：歸約方法與形式化方法相結合的安全協定驗證技術研究
- 項目類別：重大研究計畫
- 項目負責人：姬東耀
- 依託單位：中國科學院大學
- 批准號：90604010
- 申請代碼：F0206
- 負責人職稱：副研究員
- 研究期限：2006-01-01 至 2008-12-31
- 支持經費：23（萬元）
項目摘要
面向各種實用的安全協定，提出層次化、組合化的基於歸約方法與形式化方法相結合的安全協定驗證技術和算法，並建立相應的計算機輔助工具．主要內容包括：（１）研究高效的安全性歸約方法；（２）研究利用形式化方法使得歸約方法自動化或半自動化；（３）研究利用歸約方法說明形式化公理與定理在計算安全意義下的合理性與完備性；（4）結合歸約方法和形式化方法設計各種能夠普遍組合的可證明安全協定；（5）與此相關的機率邏輯分析
