检索结果-南通市图书馆

计算机应用研究 2008年第3期25卷 891-894页

作者：夏磊黄皓南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

给出了使用RBAC96模型模拟实施blp模型的方法,包含实施blp模型的安全标记、简单安全属性、自由*-属性和严格*-属性以及针对可信主体定义的可信范围的方法。

关键词：基于角色的访问控制 blp模型强制访问控制基于格的访问控制角色

在线全文

学校读者我要写书评

暂无评论

基于应用区域边界体系结构的安全模型

计算机科学 2006年第2期33卷 83-86页

作者：刘益和沈昌祥内江师范学院计算机与信息科学系海军计算技术研究所北京100841

基于信息系统的整体安全解决,国内外信息安全专家提出了信息安全保障、信息安全体系结构等概念,其中最著名的是美国国家安全局推出的《信息保障技术框架(IATF)》3.1版和国内专家提出的“三横三纵两个中心”信息安全体系结构。前不久,陈... 详细信息

基于信息系统的整体安全解决,国内外信息安全专家提出了信息安全保障、信息安全体系结构等概念,其中最著名的是美国国家安全局推出的《信息保障技术框架(IATF)》3.1版和国内专家提出的“三横三纵两个中心”信息安全体系结构。前不久,陈兴蜀在这两个信息安全体系结构思想指导下,提出了应用区域边界的安全体系结构。本文在此给出了该体系结构的安全模型。通过分析,我们认为:该模型的规则是合理的、安全的。通过构建信息安全体系结构模型,将推动信息安全的理论研究。

关键词：信息安全体系结构 blp模型 Biba模型 RBAC模型粒度控制

一种基于Bell-LaPadula模型的单向传输通道

在线全文

学校读者我要写书评

暂无评论

计算机科学 2012年第S2期39卷 26-29页

作者：刘波陈曙辉国防科学技术大学计算机学院长沙410073

在物理隔离情况下,为确保内部网络的安全,数据只能从低密级网络向高密级网络传输。由于没有信息反馈,单向网络协议使传统数据库同步技术无法生效,且数据在传输过程中极容易发生信息丢失和信息错误。针对这些难点问题,引入blp安全模型进... 详细信息

在物理隔离情况下,为确保内部网络的安全,数据只能从低密级网络向高密级网络传输。由于没有信息反馈,单向网络协议使传统数据库同步技术无法生效,且数据在传输过程中极容易发生信息丢失和信息错误。针对这些难点问题,引入blp安全模型进行分析,在数据库同步和高可靠传输方面提出了安全可靠的解决方案,并对依据该方案设计出来的单向传输通道进行了可用性分析。

关键词： blp模型数据库单向同步单向传输 MD5 物理隔离

在线全文

学校读者我要写书评

暂无评论

基于可信计算的保密和完整性统一安全策略

计算机工程与应用 2006年第10期42卷 15-18页

作者：黄强沈昌祥陈幼雷方艳湘海军工程大学电子系武汉430072 海军计算技术研究所北京100841 武汉大学计算机学院武汉430072 南开大学信息科学技术学院天津300071

为解决在高安全等级操作系统应用的保密性/完整性统一多级访问控制模型可用性差问题及增强其安全性,为系统引入可信计算(TCPA)技术并指出它对安全机制的增强作用。对可信计算平台环境下保密性/完整性统一的访问控制模型中可信主体的特... 详细信息

为解决在高安全等级操作系统应用的保密性/完整性统一多级访问控制模型可用性差问题及增强其安全性,为系统引入可信计算(TCPA)技术并指出它对安全机制的增强作用。对可信计算平台环境下保密性/完整性统一的访问控制模型中可信主体的特性进行描述,给出具体安全策略。它将可信主体纳入访问控制模型,有助于划分可信主体并能够限制其权限。

关键词：可信计算可信主体 blp模型 BIBA模型

在线全文

学校读者我要写书评

暂无评论

市场结构实证研究评述

经济学动态 2010年第8期 136-140页

作者：雷震彭欢邓蕾西南财经大学经济学院西南财经大学经济管理研究院华东师范大学软件学院

伴随经济理论的发展,市场结构实证研究取得了长足的进步,成为实证产业组织研究的核心。市场结构实证研究包括新古典框架下的SCP和PR模型、基于古诺竞争的CV模型、产品差异框架下的blp模型以及长期决策中的动态模型。本文重点关注市场结... 详细信息

伴随经济理论的发展,市场结构实证研究取得了长足的进步,成为实证产业组织研究的核心。市场结构实证研究包括新古典框架下的SCP和PR模型、基于古诺竞争的CV模型、产品差异框架下的blp模型以及长期决策中的动态模型。本文重点关注市场结构相关实证方法的逻辑演进脉络及其最新发展,并对其优劣和经典运用进行评论。

关键词：市场结构 CV模型 blp模型长期决策动态模型

在线全文

学校读者我要写书评

暂无评论

基于扩充敏感标记的格理论模型研究

计算机工程 2009年第21期35卷 171-173页

作者：马新强黄羿李丹宁重庆文理学院计算机学院重庆402160 贵州科学院贵阳550002

为在实现多级安全系统过程中有效兼顾blp模型与Biba模型,分析安全模型敏感标记集合在数学上形成的格理论,提出一种能够有效融合这些模型的敏感标记格安全理论模型,以同时标识信息机密性与完整性,通过构建新的敏感标记格理论模型,为信息... 详细信息

为在实现多级安全系统过程中有效兼顾blp模型与Biba模型,分析安全模型敏感标记集合在数学上形成的格理论,提出一种能够有效融合这些模型的敏感标记格安全理论模型,以同时标识信息机密性与完整性,通过构建新的敏感标记格理论模型,为信息安全模型研究提供一定的理论依据。

关键词：安全模型格敏感标记 blp模型 Biba模型

在线全文

学校读者我要写书评

暂无评论

B／S模式信息安全系统的一种形式化描述

计算机科学 2004年第B9期31卷 217-219页

作者：刘益和四川大学信息安全研究所成都610064

本文利用有限状态机、RABC模型和blp模型原理，对B/S模式下的信息系统给出了一种形式化描述，该描述在操作平台、密码系统、传输环节是安全的前提下是安全的。

关键词：形式化描述 B/S模式 blp模型操作平台信息安全系统有限状态机密码系统传输原理

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

一个基于网格环境的安全信息流模型

计算机科学 2011年第6期38卷 157-160,199页

作者：刘益和内江师范学院计算机科学学院内江641100

网格安全是网格中的一个重要组成部分,它直接影响着网格的发展和网格系统软件的实际应用。为了充分描述网格环境下的信息流动情况,扩展了一般网络环境下的主体、客体,利用客体的组织密级、密级、完整性等级来划分安全类,定义信息流策略... 详细信息

网格安全是网格中的一个重要组成部分,它直接影响着网格的发展和网格系统软件的实际应用。为了充分描述网格环境下的信息流动情况,扩展了一般网络环境下的主体、客体,利用客体的组织密级、密级、完整性等级来划分安全类,定义信息流策略,给出了一个基于网格环境的安全信息流模型。经严格的数学证明,新模型满足Denning的信息流模型的有限格和最小上界运算符性质,是合理的、安全的,它是blp模型、Biba模型对应的信息流模型的扩展,也是一般网络环境下的安全信息流模型的扩展,这对网格安全研究有一定的积极意义。

关键词：网格安全 blp模型 Biba模型信息流模型

在线全文

学校读者我要写书评

暂无评论

堆栈溢出的blp形式化研究及实现

计算机工程与设计 2007年第4期28卷 808-810页

作者：张凯杨晓艳沈宁华中师范大学计算机科学系湖北武汉430079

堆栈溢出是一种在各种操作系统、应用软件中广泛存在普遍且危险的漏洞,可以利用它执行非授权指令,甚至可以取得系统特权,进而进行各种非法操作。从安全操作系统的角度分析了堆栈溢出的原理,以blp模型为工具对堆栈溢出进行了形式化并在... 详细信息

堆栈溢出是一种在各种操作系统、应用软件中广泛存在普遍且危险的漏洞,可以利用它执行非授权指令,甚至可以取得系统特权,进而进行各种非法操作。从安全操作系统的角度分析了堆栈溢出的原理,以blp模型为工具对堆栈溢出进行了形式化并在此基础上适当调整了该模型,从安全模型的层次上消除了堆栈溢出的隐患。最后给出了调整后的blp模型在LSM(Linux security module)上的实现。

关键词：安全操作系统堆栈溢出形式化 blp模型 Linux安全模块

在线全文

学校读者我要写书评

暂无评论

一种实用的安全数据库多级关系模型

计算机工程 2004年第12期30卷 71-72页

作者：李旭峰冯登国李斓中科院软件所信息安全国家重点实验室北京100080

安全数据库管理系统的安全策略可以为数据库提供强大的安全功能,现在blp模型是用得比较普遍的策略模型之一。为了适应blp模型,采用一种实用的多级关系模型作为安全数据库的基础,这是原有关系模型的扩展。该文描述了多级关系模型的原理... 详细信息

安全数据库管理系统的安全策略可以为数据库提供强大的安全功能,现在blp模型是用得比较普遍的策略模型之一。为了适应blp模型,采用一种实用的多级关系模型作为安全数据库的基础,这是原有关系模型的扩展。该文描述了多级关系模型的原理和内容,特别对多级关系模型的分解与合并做了详细的阐述。并说明了这个模型适合于在多级安全操作系统上实现多级数据库管理系统。

关键词：安全数据库 blp模型多级关系模型