动态多级安全系统安全标记的格模型

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

动态多级安全系统安全标记的格模型

谭良, 罗讯, 周明天

文章导航 > 电子科技大学学报 > 2004 > 33(4): 442-445

谭良, 罗讯, 周明天. 动态多级安全系统安全标记的格模型[J]. 电子科技大学学报, 2004, 33(4): 442-445.

引用本文:

谭良, 罗讯, 周明天. 动态多级安全系统安全标记的格模型[J]. 电子科技大学学报, 2004, 33(4): 442-445.

Tan Liang, Luo Xun, Zhou Mingtian. Lattice Model of Secure Labels for Dynamic Multi-Level Security System[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(4): 442-445.

Citation:

Tan Liang, Luo Xun, Zhou Mingtian. Lattice Model of Secure Labels for Dynamic Multi-Level Security System[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(4): 442-445.

动态多级安全系统安全标记的格模型

1.
四川师范大学电子工程学院成都 610066;
2.
电子科技大学计算机科学与工程学院成都 610054

基金项目:

国家863计划资助项目(863-104-03-01)

作者简介:
谭良(1973-),男,现为电子科技大学在读博士生,主要从事信息安全、中间件方面的研究.

中图分类号: TP309

Lattice Model of Secure Labels for Dynamic Multi-Level Security System

1.
School of Computer Science and Engineering,UEST of China Chengdu 610054;
2.
College of Electronic Engineering,Sichuan Normal University Chengdu 610066

摘要: 分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的存在性问题,为多级安全性从静态安全政策,通过该策略的历史敏感性特征转化为动态安全政策奠定了理论基础。
- 标记 /
- 动态多级安全 /
- BLP (Bell LaPadula)安全模型 /
- 多安全政策 /
- 格中
Abstract: Conception of secure labels is analyzed, and defined by formalization, subsequently the lattice model theory of labels for dynamic multi-level security is established, which shows that the set of secure labels for dynamic multi-level security comes into being "lattice order" in math, and solves the existence of g.l.b and l.u.b when one secure label compares to other, and establishes the theoretical basis for change from static multi-level security to dynamic multi-level security according to the history sensitivity.
- label /
- dynamic multi-level security /
- BLP security model /
- multi-security policies /
- lattice

[1]	张凌浩, 梁晖辉, 邓东, 刘洋洋, 唐超, 常政威, 桂盛霖. 面向无线传感器网络的多因素安全增强认证协议 . 电子科技大学学报, 2023, 52(5): 699-708. doi: 10.12178/1001-0548.2022238
[2]	陈雷. 基于分层编码的物理层安全多播算法 . 电子科技大学学报, 2020, 49(1): 49-55. doi: 10.12178/1001-0548.2018109
[3]	杨亚涛, 曲鸣, 曹广灿, 蔡居良. 支持多安全运算模块的USB3.0控制器固件设计 . 电子科技大学学报, 2019, 48(2): 195-201. doi: 10.3969/j.issn.1001-0548.2019.02.006
[4]	张大方, 徐鸿玥, 李睿. 无线体域网中隐私保护安全kNN查询协议 . 电子科技大学学报, 2017, 46(5): 722-727. doi: 10.3969/j.issn.1001-0548.2017.05.014
[5]	周世杰, 宋竹, 罗嘉庆. 微观交通仿真的安全换道模型研究 . 电子科技大学学报, 2015, 44(5): 725-730. doi: 10.3969/j.issn.1001-0548.2015.05.015
[6]	孙昌霞, 马文平, 陈和风. 可证明安全的无中心授权的多授权属性签名 . 电子科技大学学报, 2012, 41(4): 552-556. doi: 10.3969/j.issn.1001-0548.2012.04.014
[7]	闫丽丽, 彭代渊, 高悦翔. Ad hoc网络中认证路由协议的改进及其安全性分析 . 电子科技大学学报, 2011, 40(4): 577-581.
[8]	刘孝保, 杜平安. B/S环境下CIMS安全模型设计与实现 . 电子科技大学学报, 2008, 37(1): 109-112.
[9]	郭建东, 秦志光, 郑敏. 信息系统的安全模型 . 电子科技大学学报, 2008, 37(2): 285-288.
[10]	黄廷祝, 黄秀琴, 蒋泽云. MRF和GM模型高光谱图像地物标记 . 电子科技大学学报, 2008, 37(5): 742-745,781.
[11]	李炯, 罗光春, 董仕. OptorSim在安全数据网格复制策略中的应用 . 电子科技大学学报, 2007, 36(6): 1350-1353.
[12]	郭建东, 秦志光, 刘乃琦. 组织安全保障体系与智能ISMS模型 . 电子科技大学学报, 2007, 36(5): 838-841.
[13]	吴劲, 张凤荔, 何兴高, 陆庆. SIP安全机制研究 . 电子科技大学学报, 2007, 36(6): 1211-1214.
[14]	陈雷霆, 文立玉, 李志刚. 信息安全评估研究 . 电子科技大学学报, 2005, 34(3): 373-376.
[15]	肖军模. 对军用安全模型的扩展 . 电子科技大学学报, 2005, 34(2): 186-189.
[16]	张选芳. Internet网络安全的信息过滤模型分析 . 电子科技大学学报, 2004, 33(3): 270-272.
[17]	李毅超, 张君雁, 傅彦, 杨国纬. 主动网络中实现逐站安全的原型框架 . 电子科技大学学报, 2003, 32(2): 174-178.
[18]	王志祥, 肖军模. 防火墙多级安全参考模型的设计与实现 . 电子科技大学学报, 2003, 32(2): 184-187.
[19]	黎忠文, 熊光泽. 安全核机制的分析 . 电子科技大学学报, 2001, 30(1): 62-65.
[20]	张向刚, 刘锦德. 多密钥KDC的安全容错性及其性能分析 . 电子科技大学学报, 2001, 30(6): 596-599.

WeChat

点击查看大图

计量

文章访问数: 4580
HTML全文浏览量: 164
PDF下载量: 56
被引次数: 0

动态多级安全系统安全标记的格模型

1. 四川师范大学电子工程学院成都 610066;

2. 电子科技大学计算机科学与工程学院成都 610054

基金项目:

国家863计划资助项目(863-104-03-01)

作者简介:
谭良(1973-),男,现为电子科技大学在读博士生,主要从事信息安全、中间件方面的研究.

收稿日期: 2003-02-20
刊出日期: 2004-08-15

中图分类号: TP309

关键词:

摘要: 分析了安全标记的概念,给出了安全标记的形式化定义,并建立了动态多级安全标记的格模型理论。格模型理论回答了动态多级安全系统的安全标记集合在数学上应形成格,解决了两安全标记比较时上、下确界的存在性问题,为多级安全性从静态安全政策,通过该策略的历史敏感性特征转化为动态安全政策奠定了理论基础。

English Abstract

谭良, 罗讯, 周明天. 动态多级安全系统安全标记的格模型[J]. 电子科技大学学报, 2004, 33(4): 442-445.

引用本文:

谭良, 罗讯, 周明天. 动态多级安全系统安全标记的格模型[J]. 电子科技大学学报, 2004, 33(4): 442-445.

Tan Liang, Luo Xun, Zhou Mingtian. Lattice Model of Secure Labels for Dynamic Multi-Level Security System[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(4): 442-445.

Citation:

Tan Liang, Luo Xun, Zhou Mingtian. Lattice Model of Secure Labels for Dynamic Multi-Level Security System[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(4): 442-445.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发