Modelling and analyzing the authorization and execution of video workflows | IEEE Conference Publication | IEEE Xplore