Symbolic assertion mining for security validation.
Alessandro DaneseValeria BertaccoGraziano PravadelliPublished 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