Reliable Security for Concurrent Programs

• Applicant: Professor Dr.-Ing. Heiko Mantel
• Subject Area: Software Engineering and Programming Languages
• Term: from 2010 to 2018
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 184219546

The overall objective of the RSCP-project is to enable the semantically justified certification of information flow security for concurrent programs. The conceptual complexity of concurrent systems makes it particularly desirable to obtain reliable security guarantees. However, securing the information flow in concurrent systems has proven to be non-trivial. Previously existing information flow analyses did not provide sufficient coverage of concurrency features and were usually less satisfactory (wrt.\ precision, adequacy or efficiency) than their counterparts for sequential programs. RSCP aims at reducing this gap between the maturity of information flow analyses for concurrent programs and for sequential programs.RSCP will provide a novel framework for adequately characterising security aspects by noninterference-like information flow properties, as well as for analysing and certifying the security ofconcurrent programs based on well-founded semantics. In the third two-year phase, the focus shall be on making progress towards information flow security in-the-large.

• DFG Programme: Priority Programmes
• Subproject of: SPP 1496: Reliably Secure Software Systems