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

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