《可信軟體基礎研究》是2019年浙江大學出版社出版的圖書。本書系自然科學基金重大研究計畫“可信軟體基礎研究”的出版成果。
基本介紹
- 書名：可信軟體基礎研究
- 作者：可信軟體基礎研究項目組
- 出版社：浙江大學出版社
- ISBN：9787308188715
內容簡介,圖書目錄,
內容簡介
本書系自然科學基金重大研究計畫“可信軟體基礎研究”的出版成果。本書以關鍵套用領域中軟體可信性問題為主攻目標，針對“軟體可信性度量與建模”、“可信軟體的構造與驗證”、“可信軟體的演化和控制”和“可信環境的構造與評估”等科學問題，從基礎理論體系、方法與平台架構、典型套用示範等三方面對軟體可信性進行了深入研究，取得了重要成果和進展。
圖書目錄
●章 項目概況
● 1.1 項目介紹
● 1.2 項目布局
● 1.3 取得的重大進展
●第2章 國內外研究情況
● 2.1 國內外研究現狀
● 2.2 發展趨勢
● 2.3 領域發展態勢
●第3章 重大研究成果
● 3.1 可信網路交易軟體系統試驗環境與示範套用
● 3.2 多維線上跨語言Calling Network建模及其在可信電子稅務軟體中的實證套用
● 3.3 面向車聯網的可信網路套用軟體系統試驗環境與示範套用
● 3.4 航天嵌入式軟體可信性保障集成環境和示範驗證與套用
● 3.5 可信軟體理論、方法集成與綜合實驗平台
●第4章 展望
● 4.1 國記憶體在的不足和戰略需求
● 4.2 深入研究的構想和建議
●參考文獻
●成果附錄
● 附錄1 重要論文目錄
●部分目錄
