A secure transaction environment for workflows in distributed systems | IEEE Conference Publication | IEEE Xplore