SPP 1496 - WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (1st funding period) (IFC for Mobile Components)
Basic data for this project
Description
Future software systems will be dynamically configured from mobile components, and will heavily use parallelism. Security checks thus have to deal precisely with mobile software components and their plug-in, as well as with parallel constructs and multi-threaded programs.Current information flow algorithms for mobile components and multi-threaded software can be greatly improved if they leverage modern program analysis. In this project, we will use information flow control based on program dependence graphs for the construction of new and precise security analysis methods for mobile components and their dynamic integration, as well as for their concurrent interaction. New theoretical insights into the analysis of parallel programs and invariance detection will improve analysis precision in particular for information flow in parallel programs. New techniques for context approximation and context inference will allow to construct modular dependence graphs and handle missing application contexts for isolated components. A scaling implementation for full Java will be developed and exercised on realistic case studies. The project is performed in cooperation with the group of Prof. Gregor Snelting from Karlsruhe Institute of Technology and is part of Priority Programme 1496 "Reliably Secure Software Systems - RS3" funded by the DFG (Deutsche Forschungsgemeinschaft).
- DFG - Priority Programme (SPP)
Project management at the University of Münster
| Müller-Olm, Markus |
Applicants from the University of Münster
| Müller-Olm, Markus |
Research associates from the University of Münster
| Nordhoff, Benedikt |
Project partners outside the University of Münster
- Karlsruhe Institute of Technology (KIT)Germany
Coordinating organisations outside the University of Münster
- Technical University of Darmstadt (TU Darmstadt)Germany
Projects of the following funding period
SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (2nd funding period) (IFC for Mobile Components) Duration: 01/10/2012 - 30/09/2015 | 2nd Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster |
Related main project
Duration: 01/10/2010 - 30/06/2018 Funded by: DFG - Priority Programme Type of project: Main DFG-project hosted outside University of Münster |
Publications of the University of Münster resulting from the project
Lammich Peter, Müller-Olm Markus (2008) In: Alpuente María, Vidal Germán (eds.), Static analysis, 205-220. Berlin: Springer. doi:10.1007/978-3-540-69166-2_14 Research article in edited proceedings (conference) | Peer reviewed | Published | |
Lammich Peter, Müller-Olm Markus (2007) In: Caires Luís, Vasconcelos Vasco T. (eds.), CONCUR 2007 - Concurrency Theory, 287-302. Berlin: Springer. doi:10.1007/978-3-540-74407-8_20 Research article in edited proceedings (conference) | Peer reviewed | Published | |
Bouajjani Ahmed, Müller-Olm Markus, Touili Tayssir (2005) In: Abadi Martín, de Alfaro Luca (eds.), CONCUR 2005 - Concurrency Theory, 473-487. Berlin: Springer. doi:10.1007/11539452_36 Research article in edited proceedings (conference) | Peer reviewed | Published | |
Müller-Olm Markus, Seidl Helmut (2004) In: Díaz Josep, Karhumäki Juhani, Lepistö Arto, Sannella Donald (eds.), Automata, Languages and Programming, 1016-1028. Berlin: Springer. doi:10.1007/978-3-540-27836-8_85 Research article in edited proceedings (conference) | Peer reviewed | Published | |
Müller-Olm Markus, Seidl Helmut (2004) In: Information Processing Letters, 91(5), 233-244. doi:10.1016/j.ipl.2004.05.004 Research article (journal) | Peer reviewed | Published |