工業控制系統的軟件可信屬性驗證（1）

對我這是一個全新的領域，先從國內的綜述學起吧！！我會把需要進行後續延伸的內容和需要了解的內容記錄下來。也會有自己的見解。 可信計算的研究與發展 可信計算是一種信息系統安全新技術，包括可信硬件、可信軟件、可信網絡和可信計算應用等諸多方面。 2007年，中國國家自然科學基金委員會啓動「可信軟件重大專項」支持可信軟件的研究。 軟件的可信性問題也日益突出，以高可信軟件工程技術爲重要內容的軟件研究成爲軟件技

>>阅读原文<<