软件可靠性与防御性——一种基于类型的方法

摘要：

本文提出了一种类型系统,确保非确定性编程语言中的好类型程序满足无干扰安全特性.这项工作扩充了Dennis Volpano可靠性类型系统的核心语言.

关键词： 类型系统 安全信息流 格模型 编程语言

作者: 姚剑波 李坚石

作者单位: 贵州大学计算机科学系(贵州贵阳)

会议类型: 国内会议

会议名称: 第六届国际可靠性、维修性、安全性会议

会议地点: 西安

会议语种:中文

页码: 541-547

在线出版日期: 2004-08-26（万方平台首次上网日期，不代表论文的发表时间）