Automated Threat Identification for UML. - George Yee; Xingli Xie; Shikharesh Majumdar (SECRYPT, 2010)