Model-based Analysis of Java EE Web Security Configurations

Salvador Martínez (1) , Valerio Cosentino (2) , Jordi Cabot (3)

1 IMT Atlantique - IMT Atlantique
2 LINA - Laboratoire d'Informatique de Nantes Atlantique
3 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution

The widespread use of Java EE web applications as a means to provide distributed services to remote clients imposes strong security requirements, so that the resources managed by these applications remain protected from unauthorized disclosures and manipulations. For this purpose, the Java EE framework provides developers with mechanisms to define access-control policies. Unfortunately , the variety and complexity of the provided security configuration mechanisms cause the definition and manipulation of a security policy to be complex and error prone. As security requirements are not static, and thus, implemented policies must be changed and reviewed often, discovering and representing the policy at an appropriate abstraction level to enable their understanding and reenginering appears as a critical requirement. To tackle this problem, this paper presents a (model-based) approach aimed to help security experts to visualize, (automatically) analyse and manipulate web security policies.

Mots clés: Security; Access-control; Reverse-engineering

Domaines: Génie logiciel [cs.SE]

Salvador Martínez, Valerio Cosentino, Jordi Cabot. Model-based Analysis of Java EE Web Security Configurations. 2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE), May 2016, Austin, Texas, United States. ⟨10.1145/2896982.2896986⟩. ⟨hal-02868060⟩