Goal Modelling for Security Problem Matching and Pattern Enforcement. - Yu, Yijun; Kaiya, Haruhiko; Yoshioka, Nobukazu; Hu, Zhenjiang; Washizaki, Hironori; Xiong, Yingfei; Far, Amin Hosseinian (Int. J. Secur. Softw. Eng., 2017)