《含代數運算和時間特徵的安全協定分析與驗證》是依託中國人民解放軍國防科技大學，由李夢君擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：含代數運算和時間特徵的安全協定分析與驗證
- 項目類別：重大研究計畫
- 項目負責人：李夢君
- 依託單位：中國人民解放軍國防科技大學
- 負責人職稱：副教授
- 申請代碼：F0210
- 研究期限：2006-01-01 至 2008-12-31
- 批准號：90604007
- 支持經費：28（萬元）
中文摘要
安全協定是解決開放網際網路安全問題的最有效手段之一，安全協定的分析與驗證是一件十分有意義的研究工作。本課題以含代數運算和時間特徵的安全協定作為主要研究對象，具體研究它的建模方法和安全性質的分析與驗證方法，需要解決的理論問題有：在抽象解釋理論框架下安全協定中的時間要素的建模；等式理論合一化問題的合一化算法；約束可滿足性問題的求解；邏輯程式的正規逼近問題；設計判定邏輯程式不動點計算是否等停機的近似算法
