End-to-End Security Formalization and Alignment for Federated Workflow Management | IEEE Conference Publication | IEEE Xplore