Compositional System Security with Interface-Confined Adversaries

Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta. Compositional System Security with Interface-Confined Adversaries. Electronic Notes in Theoretical Computer Science, 265:49-71, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: