A New Formal Proxy-Based Approach for Secure Distributed Business Process on the Cloud | IEEE Conference Publication | IEEE Xplore