A methodology to build run-time monitors for security-aware workflows | IEEE Conference Publication | IEEE Xplore