检索结果-维普期刊中文期刊服务平台

动态多级安全系统安全标记的格模型被引量：2: 1; 作者谭良罗讯周明天《电子科技大学学报》 EI CAS CSCD 北大核心 2004年第4期442-445,共4页; 分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的存在性问题,为多级安全性从静态安全... 展开更多; 关键词标记动态多级安全 BLP(bell lapadula)安全模型多安全政策格; 在线阅读下载PDF 职称材料

一个基于多策略的安全监视框架: 2; 作者温红子卿斯汉 +1 位作者文伟平李晓东《通信学报》 EI CSCD 北大核心 2005年第3期86-91,129,共7页; 当前的基于通用日志数据的安全监视手段存在日志数据冗余和异常检测时间延迟等问题。本文提出的基于多策略的安全监视框架(MP-SMF),不但可以有效克服上述问题,而且还具有可配置的特性。并且通过把 Bell-LaPadula 机密性安全策略改写成... 展开更多; 关键词审计安全监视关系模式 bell—lapadula机密性策略; 在线阅读下载PDF 职称材料

基于任务划分的防信息聚合泄密模型: 3; 作者解文冲杨英杰 +1 位作者汪永伟代向东《计算机应用》 CSCD 北大核心 2013年第2期408-411,416,共5页; 针对BLP模型中存在的信息聚合泄密、可信主体权限过大以及模型完整性缺失的问题,结合文件分级保护的需求,提出了基于任务划分的防信息聚合泄密模型IALP。首先,探讨了信息聚合形成的原因及研究现状;然后,以任务划分为基础,对主体的信息... 展开更多; 关键词文件分级保护 bell—lapadula(BLP)模型信息聚合可信主体完整性; 在线阅读下载PDF 职称材料

强制数据库访问控制中间件的设计与实现被引量：2: 4; 作者綦科唐连章《计算机工程与设计》 CSCD 北大核心 2007年第24期5874-5876,5918,共4页; 高安全级别的数据库访问需要对数据库中的敏感数据进行安全级别标识、实现细粒度访问控制和安全审计。以Bell- LaPadula安全模型作为强制访问控制模型,设计和实现了一种强制访问安全数据库中间件。该中间件实现了敏感数据标识化、强制... 展开更多; 关键词强制访问安全中间件 BI级别数据库 bell—lapadula安全模型 WINPCAP; 在线阅读下载PDF 职称材料

题名动态多级安全系统安全标记的格模型被引量：2: 1; 作者谭良罗讯周明天; 机构四川师范大学电子工程学院电子科技大学计算机科学与工程学院; 出处《电子科技大学学报》 EI CAS CSCD 北大核心 2004年第4期442-445,共4页; 基金国家863计划资助项目(863-104-03-01); 文摘分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的存在性问题,为多级安全性从静态安全政策,通过该策略的历史敏感性特征转化为动态安全政策奠定了理论基础。; 关键词标记动态多级安全 BLP(bell lapadula)安全模型多安全政策格; Keywords label dynamic multi-level security BLP security model multi-security policies lattice; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一个基于多策略的安全监视框架: 2; 作者温红子卿斯汉文伟平李晓东; 机构中国科学院软件研究所信息安全技术工程研究中心; 出处《通信学报》 EI CSCD 北大核心 2005年第3期86-91,129,共7页; 基金国家自然科学基金资助项目(60083007) 国家"973"重点研究发展规划基金资助项目(G1999035810); 文摘当前的基于通用日志数据的安全监视手段存在日志数据冗余和异常检测时间延迟等问题。本文提出的基于多策略的安全监视框架(MP-SMF),不但可以有效克服上述问题,而且还具有可配置的特性。并且通过把 Bell-LaPadula 机密性安全策略改写成为相应的关系模式,具体示例安全策略如何应用在MP-SMF中。; 关键词审计安全监视关系模式 bell—lapadula机密性策略; Keywords auditing secure monitoring relation pattern bell-lapadula confidential policy; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于任务划分的防信息聚合泄密模型: 3; 作者解文冲杨英杰汪永伟代向东; 机构信息工程大学河南省信息安全重点实验室(信息工程大学); 出处《计算机应用》 CSCD 北大核心 2013年第2期408-411,416,共5页; 基金国家973计划项目(2011CB311801); 文摘针对BLP模型中存在的信息聚合泄密、可信主体权限过大以及模型完整性缺失的问题,结合文件分级保护的需求,提出了基于任务划分的防信息聚合泄密模型IALP。首先,探讨了信息聚合形成的原因及研究现状;然后,以任务划分为基础,对主体的信息可知度及客体所占信息权重进行量化,提出了相对可信主体的概念,给出了模型安全公理和状态转换规则。最后,经理论证明、应用举例和分析表明,该模型能够控制主体对具有聚合泄密关系的客体集合的可知程度,并在一定程度上限制可信主体权限以及增强完整性。; 关键词文件分级保护 bell—lapadula(BLP)模型信息聚合可信主体完整性; Keywords hierarchical file protection bell-lapadula （BLP） model information aggregation trusted subject integrity; 分类号 TP309.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名强制数据库访问控制中间件的设计与实现被引量：2: 4; 作者綦科唐连章; 机构广州大学; 出处《计算机工程与设计》 CSCD 北大核心 2007年第24期5874-5876,5918,共4页; 文摘高安全级别的数据库访问需要对数据库中的敏感数据进行安全级别标识、实现细粒度访问控制和安全审计。以Bell- LaPadula安全模型作为强制访问控制模型,设计和实现了一种强制访问安全数据库中间件。该中间件实现了敏感数据标识化、强制访问控制特性和安全审计功能等B1级别数据库安全标准的关键特征。介绍了该中间件的总体构成、工作机制,详细阐述了实现过程中的几个关键技术。; 关键词强制访问安全中间件 BI级别数据库 bell—lapadula安全模型 WINPCAP; Keywords mandatory access security middleware Bl-leveldatabase bell-lapadula secure model Winpcap; 分类号 TP315 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料