https://123dok.com/document/y96p12gd-encryption-approach-formal-method-securing-distributed-storage-environment.html