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

• 网络、通信、安全 • 上一篇    下一篇

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

邢洪智1,罗 颖2,罗长远1,霍士伟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. 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

摘要: 将异构移动网络抽象成多级网络模型,将多级安全引入切换过程,设计了基于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