X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies.
Diego SempreboniLuca ViganòPublished in: EuroS&P (2020)
Keyphrases
- formal analysis
- ban logic
- formal methods
- genetic algorithm
- information security
- evolutionary algorithm
- genetic algorithm ga
- authentication protocol
- security requirements
- security issues
- access control
- agent model
- database
- population size
- encryption scheme
- security policies
- network security
- mutation operator
- relational databases
- artificial intelligence
- differential evolution
- cloud computing