Semiring-based Specification Approaches for Quantitative Security.

Fabio Martinelli Ilaria Matteucci Francesco Santini

Published in: QAPL (2015)

Keyphrases

genetic algorithm
high level
access control
information assurance
databases
data mining
intrusion detection
constraint satisfaction
qualitative and quantitative