Modeling and Realizing Security-Critical Inter-Organizational Workflows