Proof-Carrying Services (B04)

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

This subproject deals with the research of quality assurance measures for single services procured in on-the-fly markets. The measures serve to secure the properties of services promised by providers. The goal is to develop methods and concepts that enable the provider to provide proof of the desired functionality of its services, and enable the user to quickly verify this proof. In the third funding phase, besides others, the project will research a certification process for hyper-properties (required for security properties), PCH certified security for reconfigurable hardware, as well as hierarchical analysis and proof reuse.