工业控制系统的软件可信属性验证（1）

对我这是一个全新的领域，先从国内的综述学起吧！！我会把需要进行后续延伸的内容和需要了解的内容记录下来。也会有自己的见解。 可信计算的研究与发展 可信计算是一种信息系统安全新技术，包括可信硬件、可信软件、可信网络和可信计算应用等诸多方面。 2007年，中国国家自然科学基金委员会启动“可信软件重大专项”支持可信软件的研究。 软件的可信性问题也日益突出，以高可信软件工程技术为重要内容的软件研究成为软件技

>>阅读原文<<