@conference{OchoaESSoS12,
author = "Mart{\'i}n Ochoa and Jan J{\"u}rjens and Daniel Warzecha",
booktitle = "Proc. of  the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012",
doi = "10.1007/978-3-642-28166-2",
note = "PARTNERS: Siemens; University of Dortmund
PROJECTS: NESSoS, MoDelSec (RS3, DFG); citations: 4",
pages = "97-105",
publisher = "Springer",
series = "LNCS",
title = "{A} {S}ound {D}ecision {P}rocedure for the {C}ompositionality of {S}ecrecy",
volume = "7159",
year = "2012",
}