%0 Conference Proceedings %T Security-Driven Model-Based Dynamic Adaptation %+ Reliable and efficient component based software engineering (TRISKELL) %+ Département Réseaux, Sécurité et Multimédia (RSM) %+ Stiftelsen for INdustriell og TEknisk Forskning Digital [Trondheim] (SINTEF Digital) %+ Computer Science and Communications Research Unit [Luxembourg] (CSC) %A Morin, Brice %A Mouelhi, Tejeddine %A Fleurey, Franck %A Le Traon, Yves %A Barais, Olivier %A Jézéquel, Jean-Marc %< avec comité de lecture %B 25nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2010) %C Antwerp, Belgium, Belgium %8 2010 %D 2010 %Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers %X Security is a key-challenge for software engineering, especially when considering access control and software evolutions. No satisfying solution exists for maintaining the alignment of access control policies with the business logic. Current implementations of access control rely on the separation between the policy and the application code. In practice, this separation is not so strict and some rules are hard-coded within the application, making the evolution of the policy difficult. We propose a new methodology for implementing security-driven applications. From a policy defined by a security expert, we generate an architectural model, reflecting the access control policy. We leverage the advances in the models@runtime domain to keep this model synchronized with the running system. When the policy is updated, the architectural model is updated, which in turn reconfigures the running system. As a proof of concept, we apply the approach to the development of a library management system. %G English %2 https://inria.hal.science/inria-00538500/document %2 https://inria.hal.science/inria-00538500/file/Morin10b.pdf %L inria-00538500 %U https://inria.hal.science/inria-00538500 %~ INSTITUT-TELECOM %~ EC-PARIS %~ UNIV-RENNES1 %~ CNRS %~ INRIA %~ INSA-RENNES %~ INRIA-RENNES %~ IRISA %~ IRISA_SET %~ INRIA_TEST %~ TESTALAIN1 %~ IRISA-D4 %~ INRIA2 %~ UR1-HAL %~ UR1-MATH-STIC %~ UR1-UFR-ISTIC %~ IMTA_SRCD %~ TEST-UNIV-RENNES %~ TEST-UR-CSS %~ UNIV-RENNES %~ INRIA-RENGRE %~ INSA-GROUPE %~ INSTITUTS-TELECOM %~ UR1-MATH-NUM