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