Design notations for secure software a systematic literature review. Sohr, K., Ahn, G. J., Gogolla, M., Migge, L. Specification and Validation of Authorisation Constraints Using UML and OCL. In de Capitani, S., di Vimercati, P., Syverson, D. Gollmann, eds. Computer Security ESORICS 2. Installer Adobe Flash Player Sur Android Apps. Lecture Notes in Computer Science, vol. Springer, Berlin Heidelberg 2. Best business analyst resume samples and examples you can download easily Career Objective To take a challenging post for understanding business change needs. In the past 10 years, the research community has produced a significant number of design notations to represent security properties and concepts in a design artifact.