基于无干扰原理的终端安全模型研究

美国《工程索引》（EI）核心期刊
美国《剑桥科学文摘》（CSA）收录期刊
荷兰斯高帕斯数据库（Scopus）收录期刊
英国INSPEC数据库（SA）收录期刊

留言板

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

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

基于无干扰原理的终端安全模型研究

王飞, 刘毅, 李勇

文章导航 > 武汉大学学报 ( 信息科学版) > 2008 > 33(10): 1092-1094

王飞, 刘毅, 李勇. 基于无干扰原理的终端安全模型研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1092-1094.

引用本文:

王飞, 刘毅, 李勇. 基于无干扰原理的终端安全模型研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1092-1094.

WANG Fei, LIU Yi, LI Yong. Research of Terminal Security Model Based on Noninterference[J]. Geomatics and Information Science of Wuhan University, 2008, 33(10): 1092-1094.

Citation:

WANG Fei, LIU Yi, LI Yong. Research of Terminal Security Model Based on Noninterference[J]. Geomatics and Information Science of Wuhan University, 2008, 33(10): 1092-1094.

基于无干扰原理的终端安全模型研究

王飞^1,2,
刘毅¹,
李勇¹

¹信息工程大学电子技术学院,郑州市商城东路12号450004;²解放军装备指挥技术学院,北京市怀柔区3380信箱93号,101416

基金项目: 国家863计划资助项目(2006AA01Z440)；国家973计划资助项目(2007CB311100,2007CB31307107)

作者简介:
王飞,博士生,主要研究方向为信息安全、安全操作系统。

中图分类号: TP316

Research of Terminal Security Model Based on Noninterference

WANG Fei^1,2,
LIU Yi¹,
LI Yong¹

¹Institute of Electronic Technology,Information Engineering University,12 East Shangchen Road,Zhengzhou 450004,China;²The PLA Institute of Equipment and Command Technology,Huairou,Beijing 101416,China

Funds: 国家863计划资助项目(2006AA01Z440)；国家973计划资助项目(2007CB311100,2007CB31307107)

摘要: 终端是信息系统中所有安全风险的根源,借鉴无干扰信息流的思想,从终端的访问行为安全的角度提出一种无干扰的终端安全模型。模型以终端的访问行为为基本元素,详细讨论了访问行为安全应满足的条件,指出安全策略与隔离性是保障终端安全的根本,并在此基础上扩展到整个终端安全。
- 可信计算 /
- 终端安全 /
- 信息流 /
- 无干扰
Abstract: According to the theory of noninterference information flow,a kind of noninterference security model is put forward based on access security of terminal.The terminal access is the basic element of the model;and some security conditions of access are discussed in detail based on it;it is shown that the security policy and isolation are the root of terminal security.And it expands access security into all terminal security.
- trusted computing /
- terminal security /
- information flow /
- noninterference

[1]	祝会忠, 李军, 徐爱功, 甄杰, 雷啸挺. 灾害应急环境下智能终端高精度北斗增强定位方法 . 武汉大学学报 ( 信息科学版), 2020, 45(8): 1155-1167. doi: 10.13203/j.whugis20200123
[2]	熊伟, 资文杰, 曹竞之. 科学工作流支持的复杂地理计算流程处理 . 武汉大学学报 ( 信息科学版), 2020, 45(12): 1903-1909. doi: 10.13203/j.whugis20200209
[3]	张楷时, 焦文海, 李建文. Android智能终端GNSS定位精度分析 . 武汉大学学报 ( 信息科学版), 2019, 44(10): 1472-1477. doi: 10.13203/j.whugis20180085
[4]	张春亢, 赵学胜, 王洪斌. 一种采用流计算的Delaunay三角网切块剖分算法 . 武汉大学学报 ( 信息科学版), 2017, 42(7): 931-936. doi: 10.13203/j.whugis20150375
[5]	赵肄江, 周晓光, 黄梦妮. 基于用户信誉的自发地理信息可信度计算模型 . 武汉大学学报 ( 信息科学版), 2016, 41(11): 1530-1536. doi: 10.13203/j.whugis20140726
[6]	李坚, 李德仁, 邵振峰. 一种并行计算的流数据Delaunay构网算法 . 武汉大学学报 ( 信息科学版), 2013, 38(7): 794-798.
[7]	韩天柱, 曹建平, 陆明泉. 基于抗干扰天线的远近效应抑制技术 . 武汉大学学报 ( 信息科学版), 2011, 36(10): 1222-1225.
[8]	黄龙, 唐小妹, 王飞雪. 卫星导航接收机抗欺骗干扰方法研究 . 武汉大学学报 ( 信息科学版), 2011, 36(11): 1344-1347.
[9]	高丽, 秦晰, 常朝稳, 陈新. 基于嵌入式可信系统的可容忍非信任组件的计算平台 . 武汉大学学报 ( 信息科学版), 2010, 35(5): 626-629.
[10]	石文昌. 操作系统信任基的设计研究 . 武汉大学学报 ( 信息科学版), 2010, 35(5): 505-508.
[11]	邓钧忆, 刘衍珩, 王健. 车载自组网可信节点与可信路由分析及实现 . 武汉大学学报 ( 信息科学版), 2010, 35(5): 607-609.
[12]	刘利钊, 魏鹏, 王颖, 李茂青. 对基于可信计算的网格行为信任模型的量化评估方法研究 . 武汉大学学报 ( 信息科学版), 2010, 35(5): 587-590.
[13]	黄宁玉, 张兴. 可信计算平台委托机制的分析与改进 . 武汉大学学报 ( 信息科学版), 2010, 35(5): 599-602.
[14]	李建, 何永忠, 徐开勇. 基于信任度量的软件下载服务框架 . 武汉大学学报 ( 信息科学版), 2008, 33(10): 1062-1066.
[15]	赵波, 熊泉, 韩碧霞. SMS4算法在嵌入式系统中的硬件实现方法 . 武汉大学学报 ( 信息科学版), 2008, 33(10): 1015-1017.
[16]	张兴, 沈昌祥. 一种新的可信平台控制模块设计方案 . 武汉大学学报 ( 信息科学版), 2008, 33(10): 1011-1014.
[17]	张焕国, 覃中平, 刘毅, 韩永桥. 一种新的可信平台模块 . 武汉大学学报 ( 信息科学版), 2008, 33(10): 991-994.
[18]	赵波, 刘树波, 唐明, 张焕国. 基于硬件系统的商用密码可信计算实现方法 . 武汉大学学报 ( 信息科学版), 2004, 29(11): 1030-1033.
[19]	胡瑞敏, 边学工, 高小芹, 张晋东. 武汉市供电局110联动报修系统信息流转的实现 . 武汉大学学报 ( 信息科学版), 2000, 25(2): 163-166.
[20]	刘鼎文, 鲁家珍, 宋文尧, 张牙. 无越流补给承压含水层不完整井非稳定流单井排放诱发地壳形变的定量计算 . 武汉大学学报 ( 信息科学版), 1997, 22(2): 122-124,141.

WeChat

点击查看大图

计量

文章访问数: 806
HTML全文浏览量: 59
PDF下载量: 150
被引次数: 0

基于无干扰原理的终端安全模型研究

¹信息工程大学电子技术学院,郑州市商城东路12号450004;²解放军装备指挥技术学院,北京市怀柔区3380信箱93号,101416

基金项目: 国家863计划资助项目(2006AA01Z440)；国家973计划资助项目(2007CB311100,2007CB31307107)

作者简介:
王飞,博士生,主要研究方向为信息安全、安全操作系统。

收稿日期: 2008-08-28
修回日期: 2008-08-28
刊出日期: 2008-10-05

中图分类号: TP316

关键词:

摘要: 终端是信息系统中所有安全风险的根源,借鉴无干扰信息流的思想,从终端的访问行为安全的角度提出一种无干扰的终端安全模型。模型以终端的访问行为为基本元素,详细讨论了访问行为安全应满足的条件,指出安全策略与隔离性是保障终端安全的根本,并在此基础上扩展到整个终端安全。

English Abstract

王飞, 刘毅, 李勇. 基于无干扰原理的终端安全模型研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1092-1094.

引用本文:

王飞, 刘毅, 李勇. 基于无干扰原理的终端安全模型研究[J]. 武汉大学学报 ( 信息科学版), 2008, 33(10): 1092-1094.

WANG Fei, LIU Yi, LI Yong. Research of Terminal Security Model Based on Noninterference[J]. Geomatics and Information Science of Wuhan University, 2008, 33(10): 1092-1094.

Citation:

WANG Fei, LIU Yi, LI Yong. Research of Terminal Security Model Based on Noninterference[J]. Geomatics and Information Science of Wuhan University, 2008, 33(10): 1092-1094.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

我要投稿

投稿攻略

联系我们

二维码