A differential game-theoretic model of auditing for data storage in cloud computing. (2017)