面向资源受限安全芯片的开放式运行环境设计 本文来源:摘 要:安全芯片开放式架构实现了用户程序和操作系统的分离,降低了应用程序与安全芯片操作系统的耦合性,但同时存在国外垄断、执行效率低、内存易泄露等弊端。对于搭载了开放式运行环境的安全芯片,面向... 访客 2022-05-17 350 #字节码 #虚拟机 #安全芯片 #指令集 #操作数 #编译程序 #芯片 #应用架构 #面向过程
面向计算机并发程序的形式化验证方法设计 本文来源:摘 要:计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题。形式化验证基于严格的数学推导基础,采用语言、语义、推理证明三位一... 访客 2022-04-27 309 #形式化方法 #逻辑模型 #逻辑函数 #规范分析 #功能分析 #关系逻辑 #面向过程 #融资 #源码