面向物联网应用的SoC安全检查架构设计

物联网(IoT)应用的快速发展和软硬件开源化趋势使得IoT设备所面临的硬件安全威胁日益严峻,尤其是利用运行时条件触发的系统级攻击,很难通过传统测试方法进行检测和防御,需要提供运行时安全检查机制。分析IoT系统芯片面临的安全威胁,结合数据加密传输路径中的攻击、任务流和检查内容,设计4条功能完整性安全检查策略,搭建SoC安全策略检查架构并植入运行时触发硬件木马。仿真结果显示,运行时策略检查状态机可以检查出加密核、内存和UART接口的功能完整性问题,并通过发送错误中断信号进行反馈,证明了所设计的系统级安全策略检查架构的正确性与有效性。

一个安全的主动网络编程语言模型

为解决主动网络安全威胁问题 ,从编程语言角度分析了语言级的主动网络的安全需求 ,使用软件机制而不是硬件机制保护主机防止恶意代码攻击 ,并折中了通信需求和程序语言需求 ,为主动网络提供了一个安全的编程语言模型。