移动边缘计算中安全信息流建模与分析

摘要：

在移动边缘计算中,移动终端身份存在复杂性和动态性,对于高安全领域的任务卸载,需要对被卸载的任务进行实时跟踪,及时发现滥用行为才能保证任务卸载的安全性.然而,现有方法多基于信任评估机制选择高信任度节点进行卸载,并没有关注该节点自身发起的内部攻击问题.提出一种支持安全性分析的任务卸载方法.设计包含安全性分析的任务卸载流程,构建面向移动边缘计算的多级安全信息流模型,用于约束服务卸载、数据卸载和服务执行过程.在此基础上,基于偶图对任务卸载过程进行建模,构造标注迁移边的标号变迁系统,并利用模型检测技术验证是否满足相应的安全需求.案例分析和性能评估结果表明,该方法能够在秒级时间内预测任务卸载中的恶意行为,具有较好的可行性和有效性.

关键词：移动边缘计算、任务卸载、安全信息流模型、偶图、模型检测

所属期刊栏目：48

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

资助基金：国家自然科学基金;国家自然科学基金;河南省科技公关项目;河南省高等学校重点科研项目

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

页数：共9页

页码：35-42,52