Return to Article Details An Encryption Approach Based on Formal Method for Securing Distributed Big Data Storage in Cloud Environment Download Download PDF