Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs

基于并行程序精确分析的移动组件信息流控制

• 批准号: 183297858
• 负责人: Professor Dr. Markus Müller-Olm
• 金额: --
• 依托单位: Lehrstuhl Programmierparadigmen
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2010
• 资助国家: 德国
• 起止时间: 2009-12-31 至 2015-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/183297858?language=en
• 关键词: Information; Flow; Control; Mobile; Components

Wir entwickeln eine hochpräzise Analyse zur Informationsflusskontrolle (IFC) für verteilte, nebenläufige Programme und mobile Komponenten. Die Analyse basiert auf Programmabhängigkeitsgraphen (PDGs), dynamischen Pushdown-Netzwerken, und Inferenz von Invarianten; sie ist flusssensitiv, kontextsensitiv, objektsensitiv, zeitsensitiv und locksensitiv. In Phase 1 und 2 wurde eine kompositionale, PDG-basierte IFC-Analyse für nebenläufige Java-Softwarekomponenten und Android Apps entwickelt. Die Präzision der Analyse wurde durch Analysen basierend auf dynamischen Pushdown-Netzwerken erhöht und wir sind auf gutem Wege, sie durch Invarianten-Inferenz weiter zu verbessern. Es wurde ein neuer ``RLSOD'' Algorithmus gefunden, der probabilistische Nichtinterferenz für volles Java garantiert und Probleme früherer LSOD Ansätze vermeidet. RLSOD ist in das am Lehrstuhl Snelting entwickelte JOANA System integriert, das in vielen RS3 Projekten verwendet wird. In Phase 3 wird RLSOD für verteilte Systeme mit Message Passing erweitert. Message Passing stellt ganz neue Probleme, die in der Literatur nur ansatzweise gelöst sind. Ein adäquater Nichtinterferenzbegriffs für verteilte Systeme wird entwickelt; ein entsprechender Algorithmus wird in JOANA integriert. Zur Erhöhung der Präzision wird das neue Verfahren des ``Data Flow Slicing'' entwickelt, das PDGs mit Invarianteninferenz in neuartiger Weise koppelt. Ferner wird JOANA in diverse RS3-Szenarien integriert, z.B. den ``Secure App Store''.

我们对信息管理控制 (IFC) 进行分析，以实现垂直、运行计划和移动组件。对 Programmabhängigkeitsgraphen (PDG) 进行分析、动态下推网络和 Inferenz von Invarianten；这是敏感的、上下文敏感的、对象敏感的、时间敏感的和锁定敏感的。在第 1 和第 2 阶段中，PDG 基础 IFC 分析用于 Java 软件组件和 Android 应用程序。分析过程中的分析是在动态下推网络中进行分析，并在实际情况中进行分析，即在不变推理中进行分析。这是一个新的“RLSOD”算法，它是 Java 中的概率干扰和 LSOD 问题的解决方案。 RLSOD 位于 Lehrstuhl Snelting 中，与 JOANA 系统集成，位于 vielen RS3 Projekten verwendet wird 中。在第 3 阶段，针对垂直系统的 RLSOD 包含消息传递。消息传递将解决新问题，死在文学中。 Ein adäquater Nichtinterferenzbegriffs for verteilte Systeme wird entwickelt； JOANA integriert 中介绍了算法。在“数据流切片”的新版本中，PDG 与新概念中的不变性推理相关。 Ferner Wird JOANA 在不同的 RS3-Szenarien integriert 中，z.B. den“安全应用商店”。