https://5dok.org/document/qo5ge4gk-contributions-specification-implementation-execution-secure-software.html