一种基于形式化验证的嵌入式设备安全启动方案设计方法
公开
摘要
本发明公开了一种基于形式化验证的嵌入式设备安全启动方案设计方法，基于形式化的分析与验证，通过分析威胁模型，得到安全需求，并以此为基础建立形式化模型，最终转换成安全启动方案，并通过定理证明的方法确保嵌入式设备安全启动方案的可用性和安全性，本发明针对嵌入式系统设备在安全启动过程中存在的安全性问题，提供了一种基于形式化验证的解决方法。该方法系统全面地分析了安全启动过程中所面临的问题，给出具体的安全启动方案设计，并通过使用定理证明的方法给出具体方案的可用性和安全性的证明，本发明不仅可以快速的解决安全启动过程中的威胁，还从理论上证明了方案的安全性和可靠性。
基本信息
专利标题 ：
一种基于形式化验证的嵌入式设备安全启动方案设计方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114297659A
申请号 ：
CN202111336512.1
公开（公告）日 ：
2022-04-08
申请日 ：
2021-11-12
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
常瑞黄何张卓若李荣泰戴勤明毛天宇
申请人 ：
浙江大学
申请人地址 ：
浙江省杭州市西湖区余杭塘路866号
代理机构 ：
杭州中成专利事务所有限公司
代理人 ：
李亦慈
优先权 ：
CN202111336512.1
主分类号 ：
G06F21/57
IPC分类号 ：
G06F21/57
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F21/00
防止未授权行为的保护计算机、其部件、程序或数据的安全装置
G06F21/50
监控用户、程序或设备，以维护平台完整。例如：处理器、固件或操作系统
G06F21/57
确保或维持可信任的计算机平台，例如安全引导或断电、版本控制、系统软件检查、安全更新或评估漏洞
法律状态
2022-04-08 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
