一种轻量级嵌入式设备远程安全更新协议

来源 :计算机应用与软件 | 被引量 : 2次 | 上传用户:qqboygogogogo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对嵌入式设备软件远程更新过程中存在的安全风险,提出一种基于Hash函数的轻量级远程安全更新协议,并给出形式化证明。该协议以双方互认证和软件完整性保护为重点,能够防止攻击者通过伪造和篡改软件信息以及利用更新接口达到控制或破坏设备的目的。
其他文献
国函[2016]177号国家发展改革委:你委《关于报送〈东北振兴"十三五"规划(修改稿)〉的请示》(发改振兴[2016]2139号)收悉。现批复如下:一、原则同意《东北振兴"十三五"规划》(以下简称《
嵌入式实时系统应用越来越广泛,而作为系统核心的调度算法的稳定,健壮和容错也成为日益增长的需求。Liu和Layland提出的经典单调速率算法(RM)并不带有容错功能。利用时域错误掩蔽法(TEM)对经典RM算法进行改进,提出RMF算法,该算法能在一个计划周期中对多个临时错误进行修正。在考虑最坏的两种错误分布情况下,分析RMF可调度性的充要条件并给出算法SCHEDULABLE-RMF检查RMF的可调度性
目的克隆人白细胞介素10(hIL-10)cDNA的全长序列,为其分子生物学利用奠定基础.方法无菌条件抽取正常成人外周血15ml,分离单核细胞,用刀豆素A(ConA)刺激培养24h;离心得到一定
目的了解CT、MRI在耳蜗植入前的作用.方法感音聋患者6例,经颞骨高分辨CT扫描和耳部MRI检查后行人工耳蜗植入术,将CT、MRI结果与手术所见进行对比.结果CT、MRI显示6例中8耳存