TY - GEN
T1 - Variability modeling of cryptographic components (Clafer experience report)
AU - Nadi, Sarah
AU - Krüger, Stefan
PY - 2016/1/27
Y1 - 2016/1/27
N2 - 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 metamodeling. 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.
AB - 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 metamodeling. 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.
KW - Clafer
KW - Cryptography
KW - Variability modeling
UR - http://www.scopus.com/inward/record.url?scp=84961195315&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84961195315&partnerID=8YFLogxK
U2 - 10.1145/2866614.2866629
DO - 10.1145/2866614.2866629
M3 - Conference contribution
AN - SCOPUS:84961195315
T3 - ACM International Conference Proceeding Series
SP - 105
EP - 112
BT - Proceedings - VaMoS 2016
A2 - Alves, Vander
A2 - Schaefer, Ina
A2 - de Almeida, Eduardo Santana
PB - Association for Computing Machinery
T2 - 10th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2016
Y2 - 27 January 2016 through 29 January 2016
ER -