Verifying Conformance of Security Implementation with Organizational Access Policies in Community Cloud - A Formal Approach

Nirnay Ghosh, Triparna Mondal, Debangshu Chatterjee, Soumya K. Ghosh. Verifying Conformance of Security Implementation with Organizational Access Policies in Community Cloud - A Formal Approach. In Mohammad S. Obaidat, Andreas Holzinger, Pierangela Samarati, editors, SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014. pages 329-336, SciTePress, 2014.

Abstract

Abstract is missing.