Automating Data Independence (Proceedings of ESORICS2000, 2000)

(untitled) - Roscoe, A; Broadfoot, P; Lowe, G