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

摘要：

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

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

所属期刊栏目：47

分类号：TP393(计算技术、计算机技术)

资助基金：现代通信国家重点实验室基金项目9140C 1107020905

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：127-130