
@conference {inp:OchoaJuerjensWarzecha2012a,
	title = {A Sound Decision Procedure for the Compositionality of Secrecy},
	booktitle = {Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012)},
	year = {2012},
	author = {M. Ochoa and J. J{\"u}rjens and D. Warzecha}
}
