Proof-Carrying Services (B04)

证明携带服务 (B04)

• 批准号: 201414865
• 金额: --
• 依托单位: Fachgruppe Softwaretechnik
• 依托单位国家: 德国
• 项目类别: Collaborative Research Centres
• 财政年份: 2011
• 资助国家: 德国
• 起止时间: 2010-12-31 至 2022-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/201414865?language=en
• 关键词: 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.

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