邱美康;张磊;明，钟;陈志;秦晓;Yang，Laurence T。 基于SEAT图方法的普适计算系统安全优化。 （英语） Zbl 1268.68078号 J.计算。系统。科学。 79，第5号，518-529（2013）. 摘要：对于无处不在的计算系统，安全性已成为设计师在整个设计过程中应考虑的一个新指标，以及性能和能耗等其他指标。所需安全服务的选定加密算法组合形成了应用程序的安全策略。在本文中，我们提出了生成安全策略的方法，以在满足实时约束的同时实现最大的总体安全强度。为了表达应用程序的安全需求，我们提出了一种新的图模型，称为安全感知任务（SEAT）图模型，以表示任务之间的实时约束和优先级关系。基于SEAT图方法，我们提出了一种优化算法——整数线性规划安全优化（ILP-SOP）。针对简单路径图和树等特殊结构，我们提出了两种基于动态规划的算法（DPSOP-path/tree）来生成最优安全策略。实验结果证明了该方法的正确性和有效性。实验结果表明，使用我们提出的技术，安全强度平均可以提高44.3%。 引用于1文件 MSC公司： 68第25页 数据加密（计算机科学方面） 关键词：安全;实时;无处不在系统;密码算法;日程安排 PDF格式BibTeX公司 XML格式引用 \textit{M.Qiu}等人，J.Compute。系统。科学。79，No.5，518--529（2013；Zbl 1268.68078） 全文： 内政部 参考文献： [1] 儿子S。；穆卡马拉，R。；David，R.，《使用隐蔽信道容量集成安全和实时要求》，IEEE Trans。知识。数据工程，12865-879（2000） [3] 谢涛。；Qin，X.，通过调度提高嵌入式系统中周期性任务的安全性，ACM Trans。嵌入。计算。系统。，6、3、1-19（2007），第20条 [4] 林，M。；Yang，L.T。；秦，X。；郑，N。；吴，Z。；邱，M.，实时系统的静态安全优化，IEEE Trans。Ind.通知。，5, 1, 22-37 (2009) [5] 邵，Z。；薛，C。；诸葛，Q。；邱，M。；肖，B。；Sha，E.H.-M.，《通过硬件/软件针对缓冲区溢出攻击的嵌入式系统集成的安全保护和检查》，IEEE Trans。计算。，55, 4, 443-453 (2006) [7] Kocher，P.，《嵌入式系统安全：设计挑战》，ACM Trans。嵌入。计算。系统。，3, 3, 461-491 (2004) [8] 巴拉林，F。；拉瓦尼奥，L。；Murthy，P.，嵌入式实时系统调度，IEEE Trans。设计测试计算机，15，1，71-82（1998） [9] 邱，M。；Sha，E.H.-M.，在满足异构嵌入式系统的硬/软时序约束的同时实现成本最小化，ACM Transact-。设计。自动垫。电子。系统。（TODAES），第14、2、1-30条（2009年3月），第25条 [10] 梅内泽斯，A。；奥尔肖特，P。；Vanstone，S.，《应用密码学手册》（1996），CRC出版社 [11] Daemen，J。；Rijmen，V.，《Rijndael的设计：AES-高级加密标准》（2002），施普林格出版社·Zbl 1065.94005号 [12] 谢涛。；Qin，X.，在集群上调度安全关键型实时应用程序，IEEE Trans。计算。，55, 7, 864-879 (2006) [16] 斯坦科维奇，J。；斯普利，M。；拉姆里萨姆，K。；Buttazzo，G.，《实时系统的最后期限调度——EDF和相关算法》（1998年），Kluwer学术出版社：Kluwer-学术出版社，马萨诸塞州波士顿·Zbl 0931.68136号 [17] 拉姆里萨姆，K。；Stankovic，J.，分布式硬实时系统中的动态任务调度，IEEE Trans。软质。，1, 3, 65-75 (1984) [20] Schneier，B.，《应用密码学：C语言中的协议、算法和源代码》（1996），威利出版社·Zbl 0853.94001号 [21] Bosselaers，A.，奔腾的快速实现·兹比尔1330.68060 [22] 术语 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。