基于程序设计语言的安全模型  

Language-based security model

作　　者：王立斌[1] 陈克非[1] 

机构地区：[1]上海交通大学计算机科学与工程系

出　　处：《信息安全与通信保密》2005年第7期214-218,共5页Information Security and Communications Privacy

基　　金：现代通信国家重点实验宣基金项目资助(基金号:51436040405JW0304)

摘　　要：安全模型是系统安全规范、设计和验证的依据,是系统安全高效实现的保障,是信息安全理论与应用中的重要课题。本文首先系统地简述了安全模型的发展与现状,分析安全模型研究面临的困难,讨论其发展趋势。在此基础上对当前安全模型中的前沿课题提出一种分类,称为基于程序设计语言的安全模型。进而,讨论基于程序设计语言的安全模型的研究目标,并讨论了该研究领域中的主要研究进展。最后,指出基于程序设计语言的安全模型的理论优势,及其研究中亟待解决的若干问题。

关 键 词：程序设计语言 安全模型 安全规范 安全高效 安全理论 发展趋势 前沿课题 研究进展 研究领域 研究目标 若干问题 系统 安全型 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]