类型化汇编语言相关论文
软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方......
提出一种构造代码安全性证明的新方法．这种方法的基本思想是，在基础逻辑中定义辅助递归函数来帮助构造证明．这种构造方法在不增加系统......
使用Java和C#等安全的程序设计语言编写的程序能够完全避免一些在传统程序设计语言编写的程序中经常出现的安全漏洞,从而提高软件......
