Lecture on annotations, reflections and security