曼纽尔·托尔斯;海克·卫尔海姆 信息流证书。 （英语） Zbl 1518.68067号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 435-454 (2018). 摘要：信息流分析调查应用程序中的数据流，特别是检查从私有源到公共汇的数据流。然而，流和路径敏感分析的成本往往太高，无法在每次运行安全关键型应用程序时执行。在本文中，我们提出了一种用于信息流安全的证明携带代码变体。为此，我们开发了附加到程序的信息流（IF）证书以及IF证书验证方法。我们证明了我们的技术的可靠性，即表明它是无篡改的。该技术在程序分析工具CPAchecker中实现。我们的实验证实，证书的使用为昂贵的分析运行带来了回报。关于整个系列，请参见[Zbl 1398.68027号]. MSC公司： 68纳米30 软件工程的数学方面（规范、验证、度量、需求等） 68页30 编码和信息理论（压缩、压缩、通信模型、编码方案等）（计算机科学方面） PDF格式BibTeX公司 XML格式引用 \textit{M.Töws}和\textit{H.Wehrheim}，莱克特。注释计算。科学。11187、435--454（2018年；Zbl 1518.68067） 全文： 内政部