Secure and Real-Time Traceable Data Sharing in Cloud-Assisted IoT

Cloud-assisted Internet of Things (IoT) has become an increasingly popular paradigm to greatly improve the performance of IoT applications by delegating the cloud to manage the massive IoT data. How to achieve secure and real time traceable data sharing is crucial in this paradigm, especially, a large amount of sensitive data produced by IoT devices need to be stored or accessed to/from the clouds. This paper proposes a secure and traceable data sharing (STDS) scheme, which leverages the decentralized information flow control model to allow data owners to not only securely and efficiently share their data produced by IoT devices with data users, but also have the capability of tracking the data users’ identity with non-repudiation based on the hash chain technique. Subsequently, the high-level Petri net, satisfiability modulo theories library, and Z3 solver are used to formally analyze and verify STDS based on bounded model checking technique to prove the correctness and security STDS. The formal analysis results show that STDS fulfills its intended security goals. Finally, the performance evaluation results have demonstrated the efficiency of STDS.