Challenging Formal Specifications by Mutation: a CSP security example.
Thitima SrivatanakulJohn A. ClarkSusan StepneyFiona PolackPublished in: APSEC (2003)
Keyphrases
- formal specification
- protocol specification
- object oriented design
- constraint satisfaction problems
- specification languages
- specification language
- reverse engineering
- model checking
- information security
- access control
- concurrent systems
- genetic algorithm
- intrusion detection
- constraint propagation
- evolutionary algorithm
- software components
- design methodology
- differential evolution
- formal methods
- genetic algorithm ga
- fitness function
- databases
- programming language
- process algebra
- real world