Datta, Franklin, Garg, Jia, Kaynar, 2011. On Adversary Models and Compositional Security.. https://doi.org/10.1109/msp.2010.203