Invited Paper: Using Signed Formulas for Online Certification
摘要
Certifying software-based systems is a time-consuming and expensive task that requires much manual human effort. We introduce Online Certification, a partly automated version of the certification process, where participants provide the necessary information dynamically. All information is cryptographically signed to ensure integrity and authorization, and a system of certificates allows for fine-grained delegation of competencies. The requirements for certification, as well as the information needed to fulfill them, are represented in a subset of first-order logic. Consequently, validation is performed using automated logic reasoning. Compared to existing approaches, Online Certification enhances flexibility and agility. In cases where automatic generation of certification data is not possible, human certification processes can be integrated.