计算机工程

作者：谢娜, 谭文安, 曹彦, 赵璐

单位：1. 南京航空航天大学 计算机科学与技术学院, 南京 211106;2. 上海第二工业大学 计算机与信息工程学院, 上海 201209;3. 许昌学院信息工程学院, 河南 许昌 461000

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

基金：国家自然科学基金（61672022，U1904186）；河南省科技公关项目（222102210048）；河南省高等学校重点科研项目（22A520040）。

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

来源：2022年第5期

《计算机工程》期刊编辑部

查看计算机工程杂志2022年第5期