Sign in
Towards a formal framework for evaluating the effectiveness of system diversity when applied to security.
Raphaël Khoury
Abdelwahab Hamou-Lhadj
Mario Couture
Published in:
CISDA (2012)
Keyphrases
</>
main contribution
artificial intelligence
probabilistic model
conceptual framework
formal model
security problems
database
information systems
network security
formal specification