期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
对一类多级安全模型安全性的形式化分析 被引量：10
1
作者 何建波 卿斯汉 王超 《计算机学报》 EI CSCD 北大核心 2006年第8期1468-1479,共12页
深入分析了MLS的核心思想,给出了MLS在包含多级客体的系统中的表述形式,分析了安全不变式(in-variant)在系统安全定义中的作用.为了保证模型的安全,必须验证模型的不变式满足MLS策略.为了说明不变式验证的重要性,借助Z语言和形式验证工... 深入分析了MLS的核心思想,给出了MLS在包含多级客体的系统中的表述形式,分析了安全不变式(in-variant)在系统安全定义中的作用.为了保证模型的安全,必须验证模型的不变式满足MLS策略.为了说明不变式验证的重要性,借助Z语言和形式验证工具Z/EVES分析了一个改进的BLP模型——DBLP模型.分析表明,DBLP模型的不变式不满足MLS策略的要求,因此是不安全的.这项研究为分析各种改进BLP模型的安全性提供了理论依据和形式化规范与验证的方法. 展开更多
关键词 BLP模型 MLS策略 安全不变式 Z语言 Z/EVES定理证明器
下载PDF
政策全过程治理:惠民保发展困境与优化路径探析——以“惠邕保”和“百惠保”实施试点为例
2
作者 黎赵 韦姗姗 +3 位作者 张桂凤 徐义海 石龙 韦站 《中国卫生事业管理》 北大核心 2024年第2期130-135,共6页
推动惠民保的发展是完善多层次医疗保障制度的应有之义。文章运用访谈法和问卷调查法,基于政策全过程治理理论比较分析全国性惠民保政策和市级“惠邕保”“百惠保”政策的发展状况。研究发现,“惠邕保”“百惠保”存在政策制定层面缺乏... 推动惠民保的发展是完善多层次医疗保障制度的应有之义。文章运用访谈法和问卷调查法,基于政策全过程治理理论比较分析全国性惠民保政策和市级“惠邕保”“百惠保”政策的发展状况。研究发现,“惠邕保”“百惠保”存在政策制定层面缺乏创新、政策执行层面理赔时效低且流程繁琐、政策目标群体层面群众保险意识不高、政策评估层面政府部门的职能未充分发挥、政策监控层面相关监管法律制度尚未出台等问题。进而剖析以上困境产生的成因,提出政策制定层面要完善优化产品设计、政策执行层面着力改善外在环境,政策目标群体层面努力提高群众对疾病的预防能力和保险意识,从政策评估层面充分发挥政府职能,政策监控层面要完善监管措施。从而对惠民保进行全过程治理,优化多层次医保体系建设的实现路径。 展开更多
关键词 多层次医疗保障 政策过程 惠民保 “惠邕保” “百惠保”
下载PDF
支持动态调节的保密性和完整性统一模型 被引量：5
3
作者 黄勇 陈小平 +2 位作者 陈文智 姜励 潘雪增 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2009年第8期1377-1382,共6页
针对简单结合BLP模型和Biba模型导致系统不具可用性的问题,提出了一种基于多级安全策略的保密性和完整性统一模型.以保密性和完整性作为安全模型的2个维度将主体的安全标识扩充为分离的读写权限区间,根据客体的安全标识和主体访问的历... 针对简单结合BLP模型和Biba模型导致系统不具可用性的问题,提出了一种基于多级安全策略的保密性和完整性统一模型.以保密性和完整性作为安全模型的2个维度将主体的安全标识扩充为分离的读写权限区间,根据客体的安全标识和主体访问的历史过程,通过一定的安全转换规则动态调节主体的访问范围,实现BLP模型和Biba模型的有机结合,不仅保证了系统的保密性和完整性,而且使系统具有相当的灵活性和实用性.形式化描述了模型,并对模型的安全性进行相应的分析和证明.通过实例说明了模型的有效性和可用性. 展开更多
关键词 安全模型 BLP模型 BIBA模型 多级安全策略
下载PDF
多级安全的分布式管理和动态行为 被引量：1
4
作者 莫毓昌 杨孝宗 +1 位作者 金岩 郭建立 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2007年第3期427-430,共4页
传统的多级安全模型和在模型指导下设计出来的多级安全系统存在集中式管理和缺乏明确的动态管理机制这两个重要问题.本文研究了多级安全的分布式管理体系和动态多级安全管理策略.给出一个基于域的多级安全分布式管理模型,该模型集成了... 传统的多级安全模型和在模型指导下设计出来的多级安全系统存在集中式管理和缺乏明确的动态管理机制这两个重要问题.本文研究了多级安全的分布式管理体系和动态多级安全管理策略.给出一个基于域的多级安全分布式管理模型,该模型集成了域分离、域隔离和域冗余的域管理安全策略.着重讨论了多级安全的动态行为和规范这些行为的安全管理策略.分别论证了所提出的安全策略的有效性和可行性. 展开更多
关键词 多级安全 安全管理策略 多级安全动态管理 域管理 安全模型
下载PDF
一种面向多级安全的文件系统实现机制 被引量：1
5
作者 杨琼 王冬 《航空计算技术》 2017年第3期94-97,共4页
分别从信息安全和系统安全角度对多级安全文件系统的实现进行了分析,提出了一种面向多级安全的文件系统实现机制,即基于多级安全的访问控制方法和分区数据的隔离保证措施。采用以分区为单位来隔离卷空间的外存管理方式,以高可靠文件系... 分别从信息安全和系统安全角度对多级安全文件系统的实现进行了分析,提出了一种面向多级安全的文件系统实现机制,即基于多级安全的访问控制方法和分区数据的隔离保证措施。采用以分区为单位来隔离卷空间的外存管理方式,以高可靠文件系统的事务特征确保内外存数据的一致性,该机制不仅符合多级安全的分区隔离思想,实现了不同分区间数据的隔离,而且能够保证在意外情况下数据的一致性。为了验证提出的多级安全文件系统实现机制的可行性与正确性,在现有分区操作系统上对该文件系统进行了测试与验证。测试结果表明,多级安全文件系统实现机制不仅能够确保访问控制安全,还能确保多级安全的分区隔离特性,使得应用分区只能根据所配置的安全策略进行安全的文件操作。 展开更多
关键词 访问控制 文件系统 多级安全 安全策略
下载PDF
基于BLP的Web系统多级安全策略模型
6
作者 李中学 陈旺 《后勤工程学院学报》 2008年第1期44-49,共6页
Web系统的广泛应用使其安全问题日益突出。通过分析当前Web系统存在的安全隐患，在Web资源的访问控制上引入了多级安全策略，从Web系统的功能需求和安全需求出发，分析了BLP模型直接应用于Web系统时导致的问题。在BLP模型的基础上，提出... Web系统的广泛应用使其安全问题日益突出。通过分析当前Web系统存在的安全隐患，在Web资源的访问控制上引入了多级安全策略，从Web系统的功能需求和安全需求出发，分析了BLP模型直接应用于Web系统时导致的问题。在BLP模型的基础上，提出了Web系统的多级安全策略模型，对Web系统中的概念、对象和操作进行抽象和提炼，研究了Web系统处于安全状态时应当满足的安全条件，并在此基础上，对Web系统、系统状态、和状态转换进行了形式化描述。 展开更多
关键词 WEB系统 多级安全策略 BLP 形式化模型
下载PDF
社会治理现代化视角下的多层次社会保障体系构建 被引量：15
7
作者 林义 刘斌 刘耘礽 《西北大学学报（哲学社会科学版）》 CSSCI 北大核心 2020年第5期103-111,共9页
多层次社会保障体系构建是提升社会治理能力、实现社会治理现代化的重要组成部分。新时代我国社会主要矛盾发生了变化,社会风险呈现新特征,特别是新冠肺炎疫情爆发后,国家层面对社会治理以及社会风险管理的要求进一步提高,人们对于社会... 多层次社会保障体系构建是提升社会治理能力、实现社会治理现代化的重要组成部分。新时代我国社会主要矛盾发生了变化,社会风险呈现新特征,特别是新冠肺炎疫情爆发后,国家层面对社会治理以及社会风险管理的要求进一步提高,人们对于社会保障服务的预期和要求也更加多元。论文从面向社会治理现代化、提升社会治理能力的分析视角,提出了基于社会治理协同理论的社会保障体系建设的总体思路和制度框架。强调突出整体治理的思路,优化资源配置,拓展社会保障的制度空间和服务能力,充分发挥社会保障在国家治理能力提升和社会治理现代化进程中的综合保障功能,适应新时代新要求,加快构建我国多层次社会保障体系。 展开更多
关键词 后疫情时代 社会治理现代化 多层次社会保障体系 演进逻辑 制度创新
下载PDF
整体性治理视域下多层次医疗保障体系的概念厘定、发展困境及路径选择 被引量：2
8
作者 龚曦 王红波 《中国卫生政策研究》 CSCD 北大核心 2024年第2期1-8,共8页
多层次医疗保障体系内涵不清晰及治理碎片化使医疗保障高质量发展受到挑战。文章以整体性治理理论对多层次医疗保障体系概念内涵进行厘定,从制度的本质属性及直接功能角度区分了托底层、基本层和补充层,并对各层次及其所含子制度间的关... 多层次医疗保障体系内涵不清晰及治理碎片化使医疗保障高质量发展受到挑战。文章以整体性治理理论对多层次医疗保障体系概念内涵进行厘定,从制度的本质属性及直接功能角度区分了托底层、基本层和补充层,并对各层次及其所含子制度间的关系做了阐释。进而从整体性治理视域检视了当下实践,发现碎片化管理思维主导、子制度功能定位不清、政策协同性不足、参与主体单一、平等协商机制缺乏等困境制约着多层次医疗保障体系的整体效能,需要从整体性治理视角采取系统性、针对性改革予以完善。 展开更多
关键词 整体性治理 多层次医疗保障 碎片化 政策协同
下载PDF
多层次医疗保障体系的协同治理之道 被引量：1
9
作者 朱铭来 周佳卉 《中国医疗保险》 2023年第6期9-19,共11页
多层次医疗保障体系是随着我国医疗保障制度的改革完善逐步建构形成的,这一过程同时也映射出政府与市场关系的不断调整,政府公共服务能力的逐步提升。结合多层次医疗保障体系制度变迁与学界观点,本文将多层次医疗保障体系分为托底层、... 多层次医疗保障体系是随着我国医疗保障制度的改革完善逐步建构形成的,这一过程同时也映射出政府与市场关系的不断调整,政府公共服务能力的逐步提升。结合多层次医疗保障体系制度变迁与学界观点,本文将多层次医疗保障体系分为托底层、基础层、补充层、拓展层和公益层。根据协同治理理论构建三维分析框架,从治理主体、协同关系和治理工具探寻多层次医疗保障的治理之道。多元主体参与拓宽了协同治理的宽度,政府嵌入和引导是必要的,各主体协同关系反映治理的深度,平衡稳定的协同治理关系需要充分考虑各方利益诉求。治理工具上更多运用激励性、沟通性、契约性等混合工具,重视程序性治理工具的作用,把握好治理力度,逐渐规范协同治理过程。 展开更多
关键词 多层次医疗保障体系 协同治理 政策网络分析 治理工具
下载PDF
基于多级安全策略的二维标识模型 被引量：28
10
作者 蔡谊 郑志蓉 沈昌祥 《计算机学报》 EI CSCD 北大核心 2004年第5期619-624,共6页
安全模型是用形式化的方法来描述如何满足系统的安全要求 .经典的安全模型都只能要么满足系统的保密性要求 (如BLP模型 ) ,要么满足完整性的要求 (如Biba模型 ) .该文提出了一个多级安全策略的二维标识模型 ,在对可信主体必须遵守最小... 安全模型是用形式化的方法来描述如何满足系统的安全要求 .经典的安全模型都只能要么满足系统的保密性要求 (如BLP模型 ) ,要么满足完整性的要求 (如Biba模型 ) .该文提出了一个多级安全策略的二维标识模型 ,在对可信主体必须遵守最小特权原则的前提下 ,利用保密性标识和可信度标识共同构成主客体的访问标识 ,并利用两个约束条件 ,使得既能防止越权泄露信息 ,又能控制信息的非授权修改 ,从而同时保证了系统的保密性和完整性 . 展开更多
关键词 多级安全策略 二维标识模型 安全模型 最小特权 系统保密性 完整性
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部