Proof-Carrying Services (B04)

该子项目研究在动态市场中采购的单一服务的质量保证措施。这些措施用于确保提供者所承诺的服务的属性。目标是开发方法和概念，使提供者能够提供其服务所需功能的证明，并使用户能够快速验证此证明。在第三个资助阶段，除其他外，该项目将研究超属性（安全属性所需）的认证过程，可重构硬件的PCH认证安全性，以及分层分析和证明重用。

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.