类型化汇编语言相关论文
提出一种构造代码安全性证明的新方法．这种方法的基本思想是，在基础逻辑中定义辅助递归函数来帮助构造证明．这种构造方法在不增加系统......
使用Java和C#等安全的程序设计语言编写的程序能够完全避免一些在传统程序设计语言编写的程序中经常出现的安全漏洞,从而提高软件......
