Reliable Security for Concurrent Programs

点击翻译按钮获取中文摘要

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.