| 基于类型系统的完整性信息流控制 |
| |
| 引用本文： | 王立斌.基于类型系统的完整性信息流控制[J].华南师范大学学报(自然科学版),2006,0(3):42-47. |
| |
| 作者姓名： | 王立斌 |
| |
| 作者单位： | 华南师范大学计算机学院,广东广州,510631 |
| |
| 基金项目： | 2004年中国博士后科学基金资助项目 |
| |
| 摘 要： | 构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.
|
| 关 键 词： | 完整性 类型系统 安全模型 |
| 文章编号： | 1000-5463（2006）03-0042-06 |
| 收稿时间： | 2006-05-15 |
| 修稿时间： | 2006年5月15日 |
INFORMATION FLOW CONTROL FOR INTEGRITY BASED ON TYPE SYSTEM |
| |
| WANG Li-bin.INFORMATION FLOW CONTROL FOR INTEGRITY BASED ON TYPE SYSTEM[J].Journal of South China Normal University(Natural Science Edition),2006,0(3):42-47. |
| |
| Authors: | WANG Li-bin |
| |
| Institution: | School of Computer, South China Normal University, Guangzhou 510631, China |
| |
| Abstract: | |
| |
| Keywords: | integrity type system security model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《华南师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《华南师范大学学报(自然科学版)》下载免费的PDF全文 |
|
