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

Security handover policy design in multilevel mobile environments

作　　者：邢洪智[1] 罗颖 罗长远[1] 霍士伟[1] 

机构地区：[1]解放军信息工程大学电子技术学院,郑州450004 [2]河南安阳工业学院,河南安阳455000

出　　处：《计算机工程与应用》2011年第36期127-130,共4页Computer Engineering and Applications

基　　金：现代通信国家重点实验室基金项目(No.9140C1107020905)

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

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]