Jaya Bhattacharjee, Anirban Sengupta, Chandan Mazumdar. A Formal Methodology for Modeling Threats to Enterprise Assets. In Atul Prakash, Rudrapatna K. Shyamasundar, editors, Information Systems Security - 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014, Proceedings. Volume 8880 of Lecture Notes in Computer Science, pages 149-166, Springer, 2014. [doi]
Abstract is missing.