可信軟件基礎研究

第1章 項目概況
1.1 項目介紹
1.2 項目布局
1.3 取得的重大進展
第2章 國內外研究情況
2.1 國內外研究現(xiàn)狀
2.2 發(fā)展趨勢
2.3 領域發(fā)展態(tài)勢
第3章 重大研究成果
3.1 可信網絡交易軟件系統(tǒng)試驗環(huán)境與示范應用
3.2 多維在線跨語言Calling Network建模及其在可信國家電子稅務軟件中的實證應用
3.3 面向車聯(lián)網的可信網絡應用軟件系統(tǒng)試驗環(huán)境與示范應用
3.4 航天嵌入式軟件可信性保障集成環(huán)境和示范驗證與應用
3.5 可信軟件理論、方法集成與綜合實驗平臺
第4章 展望
4.1 國內存在的不足和戰(zhàn)略需求
4.2 深入研究的設想和建議
參考文獻
成果附錄
附錄1 重要論文目錄
附錄2 獲得國家科學技術獎勵項目
附錄3 代表性發(fā)明專利
附錄4 人才隊伍培養(yǎng)與建設情況
索引