Sound data validation workflow
Jump to navigation
Jump to search
The soundness of a data workflow should be verifiable by a cryptographically-validated algorithm. This is the main goal of presenting such algorithm in the format of a logic model.