Pattern-Based Approach to Modelling and Verifying System Security.
Xiaoyu ZhengDongmei LiuHong ZhuIan BayleyPublished in: SOSE (2020)
Keyphrases
- information security
- access control
- security requirements
- network security
- security patterns
- pattern matching
- computer security
- security systems
- model checking
- security issues
- statistical databases
- security problems
- security management
- genetic algorithm
- pattern detection
- information assurance
- database
- security mechanisms
- pattern discovery
- intrusion detection
- data integrity
- operating system
- security threats
- security measures
- data sets
- real time