论文部分内容阅读
本文简要介绍用于安全计算机系统的Ｂｅｌｌ－Ｌａ Ｐａｄｕｌａ模型。针对数据库系统中授权的可传递性，提出了一个基于Ｂｅｌｌ－Ｌａ Ｐａｄｕｌａ模型的改进模型。改进模型对原模型的元素进行了扩充，对原模型的系统状态、公理及状态转换规则进行了改造，并给出和证明了其主要的结论。
一个用于授权传递的改进Bell—La Padula模型
【摘 要】
：
本文简要介绍用于安全计算机系统的Ｂｅｌｌ－Ｌａ Ｐａｄｕｌａ模型。针对数据库系统中授权的可传递性，提出了一个基于Ｂｅｌｌ－Ｌａ Ｐａｄｕｌａ模型的改进模型。改进模型对原模型的元素进行了扩充，对原模型的系统状态、公理及
【机 构】
：
华中理工大学计算机科学与工程系
【出 处】
：
软件学报
【发表日期】
：
1996年2期
【基金项目】
：
国家自然科学基金
其他文献
在教育信息化不断推进的大背景下，高校精品课程建设工程呈现出了新的建设与管理模式。本文就精品课程建设与管理的特点，建设内容与管理要求等方面进行了分析，并提出了建设与管理
本文利用遗传算法研究了极小化Ｒｏｓｅｎｂｒｏｃｋ函数的问题。较多的计算机模拟实验结果表明，遗传算法可以有效地解决这一问题。文中还分析了一些改进的遗传算法对于该问题搜索速度的影响，得一了
开展以园为本的幼儿教师继续教育，有利于更好地发挥幼儿园自身的特色与优势，促进教师综合素质的提升和教学水平的提高。我们以此为出发点积极探索，进行了一系列关于园本化的幼儿
丹麦民众中学发源于罗定村，是丹麦成人教育的主要形式之一，一百多年来对丹麦的社会发展产生了积极的推动作用，并很快被欧洲其他国家仿效，对发展我国农村成人教育，推进我社会主义新
为了提高文化教育质量，均衡我国各民族地区的文化教育，不少蒙语学校实施汉语授课加授蒙语课的复式教学，语言障碍造成了学生普遍学不好蒙语文的尴尬局面。本文首先，依据新课程理念
党的“十六大”和“十七大”报告强调建设“全民学习、终身学习的学习型社会。”北京市《关于大力推进首都学习型城市建设的决定》提出建立“终身学习服务体系”。为建设终身
加强公共文化服务体系建设，是繁荣发展社会主义先进文化、构建和谐社会的必然要求。作者分析了淄博市进行公共文化服务体系建设在文化设施建设、文化队伍素质和文化活动内容等
老祖宗留下的古代经典诗文是我国文学宝库中的一颗耀眼明珠.它不仅内涵丰富,具有很高的审美价值和很强的艺术感染力,而且韵律优美,语言精炼,对仗工整,节奏感强,富有想象力.俗
本文首先阐述了高职图书馆在培养创新人才中的作用，然后通过加强硬件建设、加强读者教育培训和提高馆员素质几方面的阐述进一步加强图书馆建设．为培养创新人才服务。