A Formal Model for Multi SPLs.

Ferruccio Damiani Michael Lienhardt Luca Paolini

Published in: FSEN (2017)

Keyphrases

formal model
formal models
security patterns
probabilistic knowledge
security properties
databases
neural network
case based reasoning