论文部分内容阅读
在现有安全模型的基础上提出了NDMAC模型.该模型对主客体进行了明确的定义和分类,并采用最细客体粒度为属性和元组级的方案.该模型提出了隶属完整性规则、实体完整性规则和推理完整型规则,并给出了六种操作的处理策略.此外模型引入了同步约束、互斥约束和推理约束,并通过引入特权机制增强该模型的灵活性.
数据库安全模型的研究
【摘 要】
：
在现有安全模型的基础上提出了NDMAC模型.该模型对主客体进行了明确的定义和分类,并采用最细客体粒度为属性和元组级的方案.该模型提出了隶属完整性规则、实体完整性规则和推
【机 构】
：
软件新技术国家重点实验室,南京大学计算机科学与技术系
【出 处】
：
计算机科学
【发表日期】
：
2004年10期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
本文提出了把范例分解为范例描述与结论、分别进行概化、在概化的每个范例模板中进行规则提取的模型,该模型可以解决范例与规则的衔接问题,为CBR与RBR集成推理提供了基础,并
针对传统协同学习系统中普遍存在着学习材料组织混乱、学习工具隔离使用和感知处理困难等问题,本文提出了嵌套式知识空间模型,该模型包含知识域、知识域之间的包含关系、相关
异构数据源集成系统旨在为用户提供一个一致的访问接口,由于参与集成的各数据源不仅高度自治、模式各异、更新频繁,而且查询功能有各自特殊的限制,给查询处理过程中数据源定
在分析数据挖掘、空间数据挖掘、Agent的概念和技术特点的基础上,提出了一种基于代理的分布式空间数据挖掘系统,描述了其实现方法,因为本系统只传送数据挖掘的中间结果,所以
UML序列图用于建模实例间动态交互过程,但UML规范并没有给出其形式化的动态语义,这不利于对模型进行形式化验证和证明.本文把序列图中的事件动作及其执行序列映射为进程代数
测试预言是一种用来检测被测系统的测试执行是否正确的方法.文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法.首先,作者将一线性时序逻辑公
本文在分析了嵌入式实时操作系统WebitOS及其协议栈的TCP层发送和接收的基础上,指出了在基于静态优先级调度的实时抢占式系统中,负责TCP发送和接收的两个任务,在对TCP连接的
本文以某生产制造型企业信息化工作为背景，探讨如何根据企业现状进行异构数据源的集成，并以Mysql和Oracle 9i关系数据库为实例，介绍了低成本的数据移植方法，指出了建立企业级数据
如何从大型数据库中挖掘关联规则是数据挖掘的一个重要的问题.FP-growth是一个著名的不产生候选集的高效频繁模式挖掘算法,它使用专门的数据结构FP-tree.为了进一步提高FP-gr