-
题名安全类型系统在编译技术中的应用研究
- 1
-
-
作者
赵秀凤
杨丽娜
郭渊博
-
机构
解放军信息工程大学电子技术学院
-
出处
《计算机工程与科学》
CSCD
2008年第9期145-146,157,共3页
-
基金
国家自然科学基金资助项目(60503012)
-
文摘
类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。
-
关键词
类型系统
安全类型系统
编译
子类型规则
安全类型规则
-
Keywords
type system
safe-type system
compilation
sub-type rules
safe-type rule
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名信息流控制研究进展
被引量：23
- 2
-
-
作者
吴泽智
陈性元
杨智
杜学绘
-
机构
解放军信息工程大学
密码科学技术国家重点实验室
河南省信息安全重点实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2017年第1期135-159,共25页
-
基金
国家高技术研究发展计划(863)(2015AA016006
2012AA012704)~~
-
文摘
信息流控制能够保证数据与隐私端到端安全,一直是信息安全领域研究的重点和难点.为介绍信息流控制相关的研究现状和进展,首先,从基于格、安全类型系统、安全进程代数和自动机这4个方面介绍了信息流控制的基本理论与模型;其次,从计算机层次结构由下而上出发,综述了基于硬件、操作系统、虚拟机、高级语言、低级语言、数据库和网络的信息流控制实现方法,并对比了各类研究的特点;然后,结合当今时代前沿技术,分析了信息流控制在云计算、移动互联、大数据和物联网等新技术下的应用;最后,总结了当前信息流控制相关研究中存在的问题,并针对今后该领域的研究趋势进行了展望,对下一步研究工作有一定的参考价值.
-
关键词
信息流控制
安全模型
安全类型系统
进程代数
动态污点跟踪
-
Keywords
information flow control
security model
security type system
process algebra
dynamic taint tracking
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
