Policy Formalization to combine separate systems into larger connected network of trust