Symbolic assertion mining for security validation.

Alessandro Danese Valeria Bertacco Graziano Pravadelli

Published in: DATE (2018)

Keyphrases

information security
access control
mining algorithm
security model
information assurance
data mining
security management

statistical databases
security policies
data mining applications
pattern mining
data structure
web mining
association rule mining

frequent itemsets
intrusion detection
itemsets
data mining techniques
text mining
knowledge discovery
data mining methods

security requirements
computer security
security level
security problems
preserving privacy
high level