受信任计算基础相关硕士博士期刊学术论文 - 搜论网

受信任计算基础相关论文

使用事务内存同步机制的并行程序验证的研究

近年来,随着超线程、多核体系结构等多线程技术的发展和广泛应用,计算机硬件已经提供了越来越高效的软件运行平台。但是要更好地利......

学位

软件安全并行程序验证汇编语言受信任计算基础携带证明的代码事务内存同步机制

汇编指针程序安全性验证的研究

随着计算机科学的飞速发展和计算机在全球日益普及,计算机软件越来越广泛的应用于各个行业。国家和社会的关键领域对软件的依赖程......

学位

软件安全程序性质证明受信任计算基础出具证明编译器 Hoare逻辑指针逻辑形式验证框架携带证明的汇编程序

看过本文同时还关注