Marco Domenico Aime, Andrea S. Atzeni, Paolo Carlo Pomi. AMBRA: automated model-based risk analysis. In Günter Karjoth, Ketil Stølen, editors, Proceedings of the 3th ACM Workshop on Quality of Protection, QoP 2007, Alexandria, VA, USA, October 29, 2007. pages 43-48, ACM, 2007. [doi]
Abstract is missing.