类型安全相关论文
该文综合叙述了已经存在的使用基于语言的技术解决移动代码的安全问题的众多研究,详细描述了携带证明的代码(PCC)和类型化汇编语言......
本文的工作基于Intel的开放式运行平台(OpenRuntimePlatform，简称ORP)。提出了对类型化低级语言语言(TypedLow-levelLanguage，简......
本文综合叙述了已有的基于程序语言设计的软件安全研究。按照对安全性质推理方法的不同，将这类研究分成基于Hoare逻辑和基于类......
Microsoft.NET是一个完善的平台,它提供了一套公共的运行库,并制定了一套公共语言规范,所有符合该规范的语言都可以无缝使用这套运......
