@conference{CEC2011, author = "Yudis Asnar and Tong Li and Fabio Massacci and Federica Paci", booktitle = "13th IEEE Conference on Commerce and Enterprise Computing (CEC' 11)", doi = "10.1109/CEC.2011.13", keywords = "threat, requirements, security properties", note = "partner: UNITN; project: NESSoS; tier C; citation: 5", title = "{C}omputer {A}ided {T}hreat {I}dentification ", year = "2011", }