Search

Smart city is a product of the combination of digital city and Internet of Things and cloud computing. It has become a new trend of urban development in the world and faced new difficulties and challenges. In this paper, the concept of digital city and smart city was analyzed, the framework and core technology of smart city was summarized, and the status quo was analyzed. Finally the vision of smart city was put forward in our country based on existing problems and corresponding solutions at home and abroad.

Remotely data storage in cloud computing faces great challenge. Data possession checking ensures the data integrity and availability. In this paper, a cloud data possession checking model has been presented. Based on Paillier cryptosystem and elliptic curve cryptograph (ECC),we designed a data possession checking scheme, where the user asks the server to compute a checking value of randomly appointed data blocks, and then makes a decision by proof verification. The homomorphic verification tag (HVT) generated based on Paillier cryptosystem to achieve unlimited queried times. Extensive evaluation and analysis shows the proposed scheme is efficient and secure with the features: a high confidence level, un-forged HVTs, a small constant overhead, etc.