您的位置： 专家智库 > >

马建平

作品数：6 被引量：48H指数：4
供职机构：华中理工大学计算机科学与技术学院计算机科学与工程系更多>>
发文基金：国家自然科学基金国家密码发展基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 4篇计算机
  • 3篇计算机安全
  • 2篇多级安全关系
  • 2篇数据库
  • 2篇关系数据库
  • 1篇多级安全数据...
  • 1篇形式化
  • 1篇形式化方法
  • 1篇数据库技术
  • 1篇数据库系统
  • 1篇基于角色
  • 1篇计算机系
  • 1篇计算机系统
  • 1篇角色
  • 1篇安全数据
  • 1篇安全数据库
  • 1篇安全性
  • 1篇安全性质
  • 1篇SDB
  • 1篇P

机构

  • 6篇华中理工大学

作者

  • 6篇余祥宣
  • 6篇马建平
  • 3篇张江陵
  • 2篇洪帆

传媒

  • 2篇计算机研究与...
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇软件学报
  • 1篇计算机与数字...

年份

  • 2篇1998
  • 2篇1997
  • 2篇1995
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
多级安全关系数据库系统的分析和设计被引量：8
1997年
本文论述了多级关系数据库系统的一些基本问题，并介绍了一个新的多级安全关系数据库管理系统ＳＤＢ／Ｐ的设计。
马建平余祥宣
关键词：关系数据库数据库系统
基于角色的安全策略被引量：30
1998年
多级安全策略主要描述了军用系统的安全需求，侧重于信息的非授权泄露即机密性；“中国墙”策略描述了金融服务系统的安全需求，不适用于其他类系统；而在商用领域，安全需求偏重于信息的非授权修改即完整性．通过分析不同系统的安全需求，综合考虑信息处理对完整性和机密性的要求，文中提出了一种新的基于角色的安全策略，它适用于多种类型的系统．
马建平余祥宣洪帆张江陵
关键词：计算机安全角色
安全模型的一种形式化方法被引量：3
1995年
本文基于有限状态机（ＦＳＭ）的理论，结合通信顺序进程（ＣＳＰ）的概念，提出了一种开发安全模型的形式化方法。在该方法中，用ＦＳＭ描述整个系统结构和控制部分，用ＣＳＰ描述系统的状态转移。文章以多级安全（ＭＬＳ）策略为例建立了一个安全模型。
余祥宣马建平
关键词：计算机安全
多级安全关系数据库技术及现状被引量：5
1995年
本文从多级安全关系数据库的概念、安全数据模型和系统结构等方面介绍了多级安全关系数据库的技术和现状。
余祥宣马建平
关键词：关系数据库多级安全数据库数据库
一个完整的无干扰模型被引量：5
1997年
本文提出了基于主体行为和视图的新无干扰概念，描述了一个完整的、基于新概念的信息流安全模型．在模型中把计算机系统中的操作抽象为读和写两种访问模式并定义了相应的转换规则．该模型主要特点有：用于分析系统的安全性；支持多安全策略．
马建平余祥宣洪帆张江陵
关键词：计算机安全
安全性质的可结合性
1998年
安全系统是由许多子系统组成，每一子系统都必须满足一定的安全性质，但这不能保证由这些子系统组合而成的系统也是安全的，即组合的系统不一定也满足给定的安全性质，所以要求系统的安全性质满足可结合性．该文介绍了一种新的基于无干扰概念的多级安全性质，并证明了它是可结合的．
余祥宣马建平张江陵
关键词：安全性质计算机系统
全选 清除 导出
共1页<1>
聚类工具0