移动环境中多级网络安全切换策略设计

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (36): 127-130.

移动环境中多级网络安全切换策略设计

邢洪智1，罗颖2，罗长远1，霍士伟1

1.解放军信息工程大学电子技术学院，郑州 450004
2.河南安阳工业学院，河南安阳 455000

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-12-21 发布日期:2011-12-21

Security handover policy design in multilevel mobile environments

XING Hongzhi1，LUO Ying2，LUO Changyuan1，HUO Shiwei1

1.Electronic Technology Institute，The PLA Information Engineering University，Zhengzhou 450004，China
2.Anyang Industry College，Anyang，Henan 455000，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-12-21 Published:2011-12-21

摘要/Abstract

摘要： 将异构移动网络抽象成多级网络模型，将多级安全引入切换过程，设计了基于MLS（Multilevel Security）的安全切换策略。该策略针对用户连续切换产生的信息泄露问题，规定保证安全等级不降低的约束条件，保证切换过程中用户与网络的安全，并且与其他方案相比，能够提供更全面的安全保护。经形式化证明，该策略是安全的。

关键词: 移动环境, 多级安全, 连续切换, 形式化方法

Abstract: Mobile users utilize various accessing technologies to connect next generation mobile internet，which is composed by multiple heterogeneous networks.The networks of different security levels make it difficult to manage access control and handover.A multilevel network handover model is set up in this paper to analyze the handover security problem.In order to solve the security problem in continuous handovers，security handover policies are brought forward based on Multilevel Security（MLS） policy.It proves the security policies using formal methods.

Key words: mobile environments, multilevel security, continuous handover, formal method

邢洪智1，罗颖2，罗长远1，霍士伟1. 移动环境中多级网络安全切换策略设计[J]. 计算机工程与应用, 2011, 47(36): 127-130.

XING Hongzhi1，LUO Ying2，LUO Changyuan1，HUO Shiwei1. Security handover policy design in multilevel mobile environments[J]. Computer Engineering and Applications, 2011, 47(36): 127-130.

[1]	刘友林，郑巍，谭莉娟，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证工具综述[J]. 计算机工程与应用, 2021, 57(11): 1-10.
[2]	曹利峰1，李海华2，杜学绘1，陈性元1. 基于信息客体统一化描述的安全标记绑定研究[J]. 计算机工程与应用, 2017, 53(9): 103-110.
[3]	唐伟. 一种有效的模糊关联规则挖掘的形式化方法[J]. 计算机工程与应用, 2015, 51(18): 114-119.
[4]	刘浩. 多域环境下基于信任的P2P访问控制模型[J]. 计算机工程与应用, 2014, 50(21): 116-120.
[5]	曹利峰1，陈性元1，杜学绘1，王怀鹏2. 一个多级安全通道建立协议及安全性分析[J]. 计算机工程与应用, 2012, 48(20): 117-122.
[6]	曾一，孙政，周吉，胡小威. 一种状态图到B规格说明的自动转换方法研究实现[J]. 计算机工程与应用, 2011, 47(35): 77-80.
[7]	杨蓓，吴振强，杨小勃. 基于可信计算的多级安全模型[J]. 计算机工程与应用, 2011, 47(27): 122-125.
[8]	陈忆群1，2，曹瑾音3，林淑金2. 一种均衡代价的网格简化方法[J]. 计算机工程与应用, 2011, 47(15): 75-79.
[9]	胡海波，张雷. 基于SWRL的软件需求一致性验证方法[J]. 计算机工程与应用, 2010, 46(21): 72-75.
[10]	王向云¹,赵雷²,蔡开元². 基于监控理论的EFSM设计方法[J]. 计算机工程与应用, 2009, 45(6): 20-24.
[11]	刘尊,安喜锋,李伟华. 动态多级安全级模型及其应用[J]. 计算机工程与应用, 2009, 45(14): 100-102.
[12]	陈付龙¹,樊晓桠². 嵌入式系统建模理论与方法[J]. 计算机工程与应用, 2009, 45(13): 8-12.
[13]	冯学斌,洪帆,龙涛,刘铭. 多级安全XML文档删除操作安全策略研究[J]. 计算机工程与应用, 2008, 44(22): 166-168.
[14]	曾顺^1,3,连一峰^1,2,3. 基于向量矩阵的安全访问控制机制及实现[J]. 计算机工程与应用, 2008, 44(22): 120-123.
[15]	胡启敏^1,2,薛锦云^1,2. 形式化方法Designware、B的比较[J]. 计算机工程与应用, 2007, 43(31): 96-99.