Pascal Berthomé

Latest

• A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations