Nikolaos Argyropoulos, Haralambos Mouratidis, Andrew Fish. Towards the Derivation of Secure Business Process Designs. In Manfred A. Jeusfeld, Kamalakar Karlapalem, editors, Advances in Conceptual Modeling - ER 2015 Workshops, AHA, CMS, EMoV, MoBiD, MORE-BI, MReBA, QMMQ, and SCME Stockholm, Sweden, October 19-22, 2015, Proceedings. Volume 9382 of Lecture Notes in Computer Science, pages 248-258, Springer, 2015. [doi]
Abstract is missing.