Ponencia
Automatic Enforcement of Security Properties
Autor/es | Horcas Aguilera, José Miguel
Pinto, Mónica Fuentes, Lidia |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2016 |
Fecha de depósito | 2021-06-11 |
Publicado en |
|
ISBN/ISSN | 978-3-319-44340-9 0302-9743 |
Resumen | Ensuring the security requirements of an application is
not a straightforward task. Security properties (e.g., confidentiality,
anonymity) need to be satisfied in different ways in different parts of
the same application. ... Ensuring the security requirements of an application is not a straightforward task. Security properties (e.g., confidentiality, anonymity) need to be satisfied in different ways in different parts of the same application. Software architects are usually required to manually define security components and their dependencies with the base application, customize them to the application’s requirements, identify the points where security is incorporated, and verify that the selected places are correct. The last two steps are especially complex and errorprone. In our approach, we aim to provide a solution that helps software architects to identify the correct places to incorporate the security functionality and to verify the correctness of the composed application architecture. This is achieved by identifying a set of general structural patterns for incorporating security into the application architecture, and by providing a model-driven SPL solution to customize these patterns to each application’s requirements. |
Agencias financiadoras | Junta de Andalucía Ministerio de Ciencia, Innovación y Universidades (MICINN). España |
Identificador del proyecto | MAGIC P12-TIC1814
HADAS TIN2015-64841-R |
Cita | Horcas Aguilera, J.M., Pinto, M. y Fuentes, L. (2016). Automatic Enforcement of Security Properties. En TrustBus 2016: 13th International Conference on Trust and Privacy in Digital Business (19-31), Porto, Portugal: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Horcas2016_Chapter_AutomaticEn ... | 1.265Mb | [PDF] | Ver/ | |