安全类型系统相关硕士博士期刊学术论文 - 搜论网

安全类型系统相关论文

安全类型系统在编译技术中的应用研究

类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法；给出了类......

期刊

类型系统安全类型系统编译子类型规则安全类型规则 type system safe-type system compilation sub-type ru

信息流控制研究进展

信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基......

期刊

信息流控制安全模型安全类型系统进程代数动态污点跟踪

看过本文同时还关注