Inter-cloud secure data sharing and its formal verification.
Jintian LuYunyi ZhangLikun YangShuyuan JinPublished in: Trans. Emerg. Telecommun. Technol. (2022)
Keyphrases
- data sharing
- formal verification
- sensitive data
- homomorphic encryption
- model checking
- data access
- encryption scheme
- data integration
- cloud computing
- distributed data
- peer to peer
- model checker
- information sharing
- automated verification
- bounded model checking
- semantic interoperability
- symbolic model checking
- government agencies
- data privacy
- cloud storage
- security analysis
- differential privacy
- private data
- privacy protection
- data center
- data management
- temporal logic
- standard model
- relational databases
- database design
- object oriented