A Formal Model for Data Storage Security Evaluation | IEEE Conference Publication | IEEE Xplore