Specifying application-level security in workflow systems | IEEE Conference Publication | IEEE Xplore