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

Nirnay Ghosh, Triparna Mondal, Debangshu Chatterjee, Soumya K. Ghosh

Browse the full SECRYPT paper archive.