本文的工作基于Intel的开放式运行平台(OpenRuntimePlatform，简称ORP)。提出了对类型化低级语言语言(TypedLow-levelLanguage，简......

　 本文综合叙述了已有的基于程序语言设计的软件安全研究。按照对安全性质推理方法的不同，将这类研究分成基于Hoare逻辑和基于类......

在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结......