可信軟件基礎研究項目組
本書系國家自然科學基金重大研究計劃“可信軟件基礎研究”的出版成果。本書以國家關鍵應用領域中軟件可信性問題爲主攻目標，針對“軟件可信性度量與建模”、“可信軟件的構造與驗證”、“可信軟件的演化和控制”和“可信環境的構造與評估”等科學問題，從基礎理論體系、方法與平臺架構、典型應用示範等三方面對軟件可信性進行了深入研究，取得了重要成果和進展。
從頭到尾自嗨，實質內容沒有，繼續保密吧。
