Sound data validation workflow

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. PKC is a software technology framework that subscribe to this notion of sound data workflow, and tries to implement it for personal use of data.