Model-based analysis of Java EE web security misconfigurations

Abstract : The Java EE framework, a popular technology of choice for the development of web applications, provides developers with the means to define access-control policies to protect application resources from unauthorized disclosures and manipulations. Unfortunately, the definition and manipulation of such security policies remains a complex and error prone task, requiring expert-level knowledge on the syntax and semantics of the Java EE access-control mechanisms. Thus, misconfigurations that may lead to unintentional security and/or availability problems can be easily introduced. In response to this problem, we Present a (model-based) reverse engineering approach that automatically evaluates a set of security properties on reverse engineered Java EE security configurations, helping to detect the presence of anomalies. We evaluate the efficacy and pertinence of our approach by applying our prototype tool on a sample of real Java EE applications extracted from GitHub.
Document type :
Journal articles
Complete list of metadatas

Cited literature [37 references]  Display  Hide  Download

https://hal-cea.archives-ouvertes.fr/cea-01803832
Contributor : Léna Le Roy <>
Submitted on : Monday, January 14, 2019 - 2:39:09 PM
Last modification on : Tuesday, March 26, 2019 - 9:25:22 AM

File

Martinez2017.pdf
Files produced by the author(s)

Identifiers

Citation

Salvador Martinez, Valerio Cosentino, Jordi Cabot. Model-based analysis of Java EE web security misconfigurations. Computer Languages, Systems and Structures, Elsevier, 2017, 49 (SI), pp.36-61. ⟨10.1016/j.cl.2017.02.001⟩. ⟨cea-01803832⟩

Share

Metrics

Record views

217

Files downloads

145