一种用于指针程序安全性证明的指针逻辑陈意云华保健葛琳王志芳（中国科学技术大学计算机科学与技术系，合肥230026）（中国科学技术大学苏州研究院软件安全实验室，苏州215123）摘要：在高可信软件的各种性质中，安全性是...
时间:2024-11-03 22:04栏目:综合大类
