Pym, D; Caulfield, T; Williams, J; (2014) Compositional security modelling: structure, economics, and behaviour. In: Tryfonas, T and Askoxylakis, I, (eds.) Lecture Notes in Computer Science. (pp. pp. 233-245). Springer International Publishing: Switzerland.