计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
36期
127-130
,共4页
邢洪智%罗颖%罗长远%霍士伟
邢洪智%囉穎%囉長遠%霍士偉
형홍지%라영%라장원%곽사위
移动环境%多级安全%连续切换:形式化方法
移動環境%多級安全%連續切換:形式化方法
이동배경%다급안전%련속절환:형식화방법
将异构移动网络抽象成多级网络模型,将多级安全引入切换过程,设计了基于MLS(Multilevel Security)的安全切换策略.该策略针对用户连续切换产生的信息泄露问题,规定保证安全等级不降低的约束条件,保证切换过程中用户与网络的安全,并且与其他方案相比,能够提供更全面的安全保护.经形式化证明,该策略是安全的.
將異構移動網絡抽象成多級網絡模型,將多級安全引入切換過程,設計瞭基于MLS(Multilevel Security)的安全切換策略.該策略針對用戶連續切換產生的信息洩露問題,規定保證安全等級不降低的約束條件,保證切換過程中用戶與網絡的安全,併且與其他方案相比,能夠提供更全麵的安全保護.經形式化證明,該策略是安全的.
장이구이동망락추상성다급망락모형,장다급안전인입절환과정,설계료기우MLS(Multilevel Security)적안전절환책략.해책략침대용호련속절환산생적신식설로문제,규정보증안전등급불강저적약속조건,보증절환과정중용호여망락적안전,병차여기타방안상비,능구제공경전면적안전보호.경형식화증명,해책략시안전적.