重启可信革命--主动免疫可信计算3.0
副标题：
时间：2016-12-20 来源：数学机械化重点实验室
题目： 重启可信革命--主动免疫可信计算3.0
报告人： 沈昌祥院士（海军计算技术研究所）
时间地点： 2016.12.22 09:30am N202
摘要： 网络空间安全是计算科学问题、体系结构问题、计算模式问题。由于人们对于IT的认知逻辑的局限性，而不能穷尽所有组合，只能局限于完成计算任务而去设计IT系统，必定存在逻辑不全的缺陷，从而难以应对人为利用缺陷进行攻击。因此，我们必须从逻辑正确验证、计算体系结构和计算模式等科学技术创新去解决逻辑缺陷不被攻击者所利用的问题。为确保完成计算任务的逻辑组合不被篡改的破坏，必须重启可信革命，采用可信计算3.0创新技术，构筑主动免疫防御的网络空间安全保障体系。
