Test-Driven Assessment of Access Control in Legacy Applications

Yves Le Traon (1) , Tejeddine Mouelhi (2) , Alexander Pretschner (3) , Benoit Baudry (1)

1 TRISKELL - Reliable and efficient component based software engineering
2 RSM - Département Réseaux, Sécurité et Multimédia
3 D-INFK - Department of Computer Science [ETH Zürich]

If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing the system's code base. This is often the case with legacy systems. We present a test-driven methodology to assess the flexibility of a system, a property that describes the degree of coupling between the access control logic and the business logic of a system. A low flexibility indicates that a modification of the policy will lead to substantial changes of the code. In this paper, we analyze the notion of flexibility which is related to the presence of hidden and implicit security mechanisms in the business logic. We detail how testing can be used for detecting such mechanisms and how it may drive the incremental evolution of a security policy. We use several case studies to illustrate and validate the methodology.

Domaines: Génie logiciel [cs.SE]

Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry. Test-Driven Assessment of Access Control in Legacy Applications. ICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation (ICST), April 9-11, Lillehammer, Norway, RSM - Dépt. Réseaux, Sécurité et Multimédia (Institut TELECOM ; TELECOM Bretagne), ETH - Eidgenössische Technische Hochschule Zürich (ETH Zurich), IRISA - Institut de Recherche en Informatique et Systèmes aléatoires (INRIA), 2008, Lillehammer, Norway. ⟨inria-00456953⟩