工控可信验证
文章平均质量分 79
想要毕业的研究生
挺好的
展开
-
写在前面
写在前面正式确定课题啦,在这个博客记录自己的学习笔记工控安全领域,做工控软件的可信属性验证上研究生前并不了解可信的相关知识,博客就作为一个起点,查看相关的文献,会把文献的阅读笔记更新在这上面。也是初学者的小伙伴可以一起进步!!!欢迎加好友!!...原创 2018-03-29 10:16:27 · 121 阅读 · 0 评论 -
工业控制系统的软件可信属性验证(1)
对我这是一个全新的领域,先从国内的综述学起吧!!我会把需要进行后续延伸的内容和需要了解的内容记录下来。也会有自己的见解。可信计算的研究与发展可信计算是一种信息系统安全新技术,包括可信硬件、可信软件、可信网络和可信计算应用等诸多方面。2007年,中国国家自然科学基金委员会启动“可信软件重大专项”支持可信软件的研究。软件的可信性问题也日益突出,以高可信软件工程技术为重要内容的软件研究成为软件技术研究的...原创 2018-03-29 10:26:20 · 711 阅读 · 0 评论 -
工业控制系统的软件可信属性验证(2)
细分的领域属于可信软件,可信软件的分析与测试是一系列的有软件分析计算支撑起来的新技术。这篇文章主要介绍的是可信软件的分析技术,本文定义的软件可信属性与可信计算组织定义的有一些出入,但是方法是相通的。可信软件分析与测试研究进展广义地讲,软件可信属性包含的特征属性有可用性(availability)、可靠性(reliability)、安全性(security)、可维护性(maintainability...原创 2018-03-29 10:36:33 · 625 阅读 · 0 评论