Aspect-oriented security engineering: a model-based approach | AMiner