Model-based analysis of Java EE web security misconfigurations - Archive ouverte HAL Access content directly
Journal Articles Computer Languages, Systems and Structures Year : 2017

Model-based analysis of Java EE web security misconfigurations

(1, 2) , (1, 3) , (4, 3)
1
2
3
4

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.
Fichier principal
Vignette du fichier
Martinez2017.pdf (374.52 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

cea-01803832 , version 1 (14-01-2019)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More