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

Wir entwickelineine hochpräzise国际金融公司（IFC）信息分析与控制中心（IFC）， <s:2> verilte， nebenläufige方案和移动组件。模具分析（PDGs），动态压下- netzwerken，和不变性分析它包括冲洗灵敏度、文本灵敏度、对象灵敏度、时间灵敏度和锁灵敏度。在第一阶段和第二阶段，将基于pdg的ifc - analysisf<s:1> r nebenläufige进行java - software组件和Android Apps组件的整合。Die Präzision der analyze wurde durch analyticbaserend auf dynamichen Pushdown-Netzwerken erhöht and wiirsind augutem Wege, sie durch invariant - interenz weiter zu verbessern。在“RLSOD”算法的基础上，在概率上进行了改进，在概率上进行了改进，在概率上进行了改进；在概率上进行了改进；在概率上进行了改进；RLSOD列表中包含了Lehrstuhl熔炼整体组件和JOANA系统集成，包含了RS3项目的集成组件。在第3阶段中，第三阶段RLSOD <s:1> rverilte系统发送消息传递。消息传递stellt ganz新闻问题，死在文学中，我们的ansatzwise gelöst sind。Ein adäquater Nichtinterferenzbegriffs <s:2> r verteilte Systeme wind entwickelt；在JOANA集成中的扩展算法。Zur Erhöhung der Präzision wind das neue Verfahren des ' s Data Flow Slicing " entwickelt, das PDGs mit invarientinterenz in neutiger Weise koppelt。Ferner wild JOANA in diverse RS3-Szenarien integrert, z.b.den ‘ s Secure App Store’。

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''.