On the Synthesis of Secure Services CompositionJose A. Martín, Mathieu Turuani, Fabio Martinelli et al.|Lecture notes in computer science|2014Cited by 2