Automating Data Independence.

Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe

Browse the full ESORICS paper archive.