可信軟件基礎(chǔ)研究

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