典型文献
移动边缘计算中安全信息流建模与分析
文献摘要：
在移动边缘计算中,移动终端身份存在复杂性和动态性,对于高安全领域的任务卸载,需要对被卸载的任务进行实时跟踪,及时发现滥用行为才能保证任务卸载的安全性.然而,现有方法多基于信任评估机制选择高信任度节点进行卸载,并没有关注该节点自身发起的内部攻击问题.提出一种支持安全性分析的任务卸载方法.设计包含安全性分析的任务卸载流程,构建面向移动边缘计算的多级安全信息流模型,用于约束服务卸载、数据卸载和服务执行过程.在此基础上,基于偶图对任务卸载过程进行建模,构造标注迁移边的标号变迁系统,并利用模型检测技术验证是否满足相应的安全需求.案例分析和性能评估结果表明,该方法能够在秒级时间内预测任务卸载中的恶意行为,具有较好的可行性和有效性.
文献关键词：
移动边缘计算;任务卸载;安全信息流模型;偶图;模型检测
中图分类号：
作者姓名：
谢娜;谭文安;曹彦;赵璐
作者机构：
南京航空航天大学 计算机科学与技术学院,南京 211106;上海第二工业大学 计算机与信息工程学院,上海 201209;许昌学院 信息工程学院,河南 许昌 461000
文献出处：
引用格式：
[1]谢娜;谭文安;曹彦;赵璐-.移动边缘计算中安全信息流建模与分析)[J].计算机工程,2022(05):35-42,52
A类：
安全信息流模型
B类：
移动边缘计算,建模与分析,移动终端,高安全,安全领域,任务卸载,实时跟踪,信任评估,评估机制,信任度,内部攻击,安全性分析,建面,数据卸载,执行过程,偶图,卸载过程,标号,模型检测,技术验证,安全需求,性能评估,恶意
AB值：
0.28584
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
