| Title | Variability Modeling of Cryptographic Components: Clafer Experience Report |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Nadi, Sarah, Krüger, Stefan |
| Conference Name | Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems |
| Publisher | ACM |
| Conference Location | New York, NY, USA |
| ISBN Number | 978-1-4503-4019-9 |
| Keywords | Clafer, cryptography, expert systems, Human Behavior, pubcrawl, resilience, Scalability, Variability Modeling |
| Abstract | Software systems need to use cryptography to protect any sensitive data they collect. However, there are various classes of cryptographic components (e.g., ciphers, digests, etc.), each suitable for a specific purpose. Additionally, each class of such components comes with various algorithms and configurations. Finding the right combination of algorithms and correct settings to use is often difficult. We believe that using variability modeling to model these algorithms, their relationships, and restrictions can help non-experts navigate this complex domain. In this paper, we report on our experience modeling cryptographic components in Clafer, a modeling language that combines feature modeling and meta-modeling. We discuss design decisions we took as well as the challenges we ran into. Our work helps expand variability modeling into new domains and sheds lights on modeling requirements that appear in practice. |
| URL | http://doi.acm.org/10.1145/2866614.2866629 |
| DOI | 10.1145/2866614.2866629 |
| Citation Key | nadi_variability_2016 |
Variability Modeling of Cryptographic Components: Clafer Experience Report