【摘 要】
：
安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级非常重要。本文提出了新的基于PVS的数据库安全策略模型分析方法，该方法结合了PVS函数式语言的特点，通过一
【机 构】
：
中国科学院信息工程研究所,北京,100195
论文部分内容阅读
安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级非常重要。本文提出了新的基于PVS的数据库安全策略模型分析方法，该方法结合了PVS函数式语言的特点，通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程。为了表明本文方法的有效性，借助PVS定理证明器对BeyonDB数据库管理系统进行了安全性分析。分析表明，本文方法不但能够提高形式化建模效率，而且可以有效地发现系统设计中存在的漏洞。
其他文献
新的课程标准是艺术教育体现了素质教育,并重视艺术过程与生活之间的紧密联系,使学生能够在积极的情感体验中提高审美观和审美能力,提高实践技能,丰富想象力和创造力.我坚持
随着等级保护工作的深入开展，测评工作的常态化运行，大量的测评工作将产生海量的测评数据，现阶段这些数据只是以测评报告的形式存在，并不能从中提取有价值信息，更无法辅助信息
电力信息系统为电力的生产、输送、变电和分配提供了极大的帮助，是电力自动化系统的重要组成部分。电力信息系统的安全涉及到人民的切身利益和国家安全，其安全性必须得到保
本文分析了面向等级保护的应用支撑平台的重要性，以虚拟化技术为基础，探讨了该应用支撑平台的实现方式，以期解决信息系统等级保护建设过程中的重点、难点问题。主要内容包括
本文从与等级保护各工作环节相关的国家标准入手，引入税务系统标准落地的原因、依据及方法，并对其发挥的作用进行了归纳总结。
我国的课堂教学改革,是遵循实际发展需求的,是为了促进学生的全面发展而开展的,能够真正与学生自主学习意识的培养,紧密的联系起来.作为高中英语教师,要彻底改变传统教学的影
本文针对目前基于等级保护的信息系统评估模型大多单纯的从定性分析或者定量分析单方面进行评价，缺乏综合性考虑这一现状，将定性分析与定量分析进行综合考虑，并根据信息安全
一堂缺少案例的实践教学课程,往往难以产生良好的教学效果.而案例教学法的应用不仅能够增加课堂的趣味性,更有利于提高学生的实践能力和创新能力,使学生的核心素养得到一定的
计算机网络技术专业课程改革,对网络技术人才培养、职业教育水平提升方面有积极作用.基于此,结合高职院校的实际情况,针对计算机网络技术专业课程的进行改革,则需要从教育理
总结51例奥沙利铂联合S1治疗晚期胃癌患者不良反应的观察及护理要点。针对51例患者用药后不良反应进行分度比较，掌握不良反应各程度的表现，并根据不良反应分度程度采用相应