A Formal Framework for Confidentiality-Preserving Refinement.

Thomas Santen

Browse the full ESORICS paper archive.