Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif. Security requirements formalized with OCL in a model-driven approach. In Ana Moreira, Gunter Mussbacher, João Araújo 0001, Nelly Bencomo, Pablo Sánchez, editors, International Workshop on Model-Driven Requirements Engineering, MoDRE 2013, 15-15 July, 2013, Rio de Janeiro, Brasil. pages 65-73, IEEE, 2013. [doi]
Abstract is missing.