A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations | IEEE Conference Publication | IEEE Xplore