A mutation-based approach for the formal and automated analysis of security ceremonies.
Diego SempreboniLuca ViganòPublished in: J. Comput. Secur. (2023)
Keyphrases
- automated analysis
- automated detection
- biomedical imaging
- visual analysis
- genetic algorithm
- evolutionary algorithm
- information security
- intrusion detection
- security issues
- security policies
- access control
- security requirements
- video analysis
- differential evolution
- formal model
- population size
- motion imagery
- virtual environment
- open source
- data analysis
- three dimensional