关键词：电子信息；软件；安全；自动化；二进制
摘 要：This project discovered and developed algorithms and tools for (1) automatically retrofitting binary legacy software with access controls, and (2) formally machine-certifying that the retrofitted software satisfies user- specified security policies. The research resulted in new software security systems for Java, ActionScript. and x86 native code that provably secure legacy code without any form of code-producer cooperation (e.g., source code or compiler support).