使用SEAT图方法对无处不在的计算系统进行安全感知优化

对于无处不在的计算系统,安全性已成为设计人员应在整个设计过程中考虑的新指标,以及诸如性能和能耗之类的其他指标。 所需安全服务的选定加密算法的组合形成了该应用程序的安全策略。 在本文中,我们提出了在满足实时约束的同时生成安全策略以实现最大的总体安全强度的方法。 为了表达应用程序的安全性要求,我们提出了一种新颖的图形模型,称为安全感知任务(SEAT)图形模型,用于表示任务之间的实时约束和优先级关系。 基于SEAT图方法,我们提出了一种优化算法,即整数线性规划安全性优化(ILP-SOP)。 对于简单路径图和树之类的特殊结构,我们提出了两种基于动态规划的算法(DPSOP-path / tree)来生成最佳安全策略。 实验结果证明了该方法的正确性和有效性。 实验结果表明,采用本文提出的技术,可以使安全强度平均提高44.3%。