Safety Analysis of the Dynamic-Typed Access Matrix Model.

Masakazu Soshi

Browse the full ESORICS paper archive.