摘　要：安全芯片开放式架构实现了用户程序和操作系统的分离，降低了应用程序与安全芯片操作系统的耦合性，但同时存在国外垄断、执行效率低、内存易泄露等弊端。对于搭载了开放式...

摘　要：计算机并发性程序形式化验证一直是软件安全领域的难题。软件并发性漏洞难以被发现，一旦发生问题，会造成不可估量的安全问题。形式化验证基于严格的数学推导基础，采用语言...