Presentation
Automatic Enforcement of Security Properties
Author/s | Horcas Aguilera, José Miguel
Pinto, Mónica Fuentes, Lidia |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2016 |
Deposit Date | 2021-06-11 |
Published in |
|
ISBN/ISSN | 978-3-319-44340-9 0302-9743 |
Abstract | 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. |
Funding agencies | Junta de Andalucía Ministerio de Ciencia, Innovación y Universidades (MICINN). España |
Project ID. | MAGIC P12-TIC1814
![]() HADAS TIN2015-64841-R ![]() |
Citation | 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Horcas2016_Chapter_AutomaticEn ... | 1.265Mb | ![]() | View/ | |