携带证明的汇编程序相关论文
随着多线程技术的发展,并行编程逐渐成为软件开发的主流,事务内存的出现有效的解决了并行编程中锁的使用不当带来的一系列问题,而......
软件的安全性日益重要，软件满足安全策略的证明方法成为一个研究热点．而指针程序的安全性质证明是难点之一．根据已经提出的安全程序设......
在高可信软件的各种性质中,安全性是关注的重点.软件满足安全策略的证明方法是安全性研究的热点之一.根据前期提出的安全程序设计......
