【摘 要】
：
提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型。BSK对监控器和BLP模型进行扩充，借鉴Mach消息传递机制，采用面向对象机制，提出了基于安全对象的安全对象模型和消息调
【机 构】
：
湖南大学计算机与通信学院,中国科学院软件所计算机科学重点实验室
【基金项目】
：
国家自然科学基金资助项目（60373085）
论文部分内容阅读
提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型。BSK对监控器和BLP模型进行扩充，借鉴Mach消息传递机制，采用面向对象机制，提出了基于安全对象的安全对象模型和消息调度模型，并且给出了BSK消息调度算法。消息调度中主体对客体的访问是有状态的，通过安全检测的访问路由信息存放于缓冲器中，避免过多的安全判定对性能的损失。
其他文献
视盘毛细血管瘤（Capillary hemangioma）是一种先天性、发育性视网膜血管肿瘤，发病率仅为1：（10000—22000），而视盘毛细血管瘤合并新生血管性青光眼则更为少见，现将观察到的1例报告如下
<正>在影视艺术创作领域中研究声音有多种方法:我们可以沿着声音历史的沿革结合人类历史的发展进行讨论,可以根据某一媒介形态的特点进行声音元素的具体运用分析,也可以从艺
道德是做人的根本,道德教育是教育的核心。中等职业教育担负着培养适应我国现代化建设需要的高素质劳动者的重要任务,中职学校把道德教育工作放在首位,不仅是贯彻国家教育方
随着农民合作社的快速发展,合作社信用合作已经成为现阶段新型农村合作金融发展的主要形态。农民合作社信用合作的生长过程,就是不断累积政治合法性、社会合法性、行政合法性
随着信息化技术的普及和应用,高职院校的课程改革必须广泛应用信息化技术才能不断提高教学质量,从而更好地培养人才。本文从智慧教室的建设、功效以及对教学效果的提升等方面
多能干细胞的发展为再生医学、疾病模型和药物筛选等研究提供了理想的研究材料。由于猪的生理结构和器官大小与人接近,饲养较为容易,是理想的实验动物模型。猪多能干细胞的建
采用二水钼酸钠（Na2MoO4·2H2O）和硫脲（CS（NH2）2）分别作为钼源和硫源，通过水热合成法获得球花状二硫化钼．其较佳的水热条件为：180℃下反应48h，钼硫原子比为1：4，反应物浓度为0．001mol．L^
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
<正>近日,央行发布的《非银行支付机构网络支付业务管理办法(征求意见稿)》,被一些网民称为史上"最严"第三方支付新规,并引发争论,很多网友认为,"新规阻碍金融创新"。那么,这