FSM Modeling of Testing Security Policies for MapReduce Frameworks

Nowadays, MapReduce becomes one of the most common computational paradigms that provide an efficient parallel processing of large-scale data especially in public clouds in order to enable users to process data without considering physical infrastructures and software installations. However, the deployment of MapReduce in such public environment needs to deal with many security threats attacks during networks communication. In this paper, we present a novel approach to test Access Control List (ACL) policies in MapReduce framework. The proposed system uses these ACLs to control which users can submit to certain queues as well as which users can administer a queue for example. To this end, we used the FSM formalism to write our system specification that takes into account these policies expressed in XACML language.