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