Authors: De Nicola, R Ferrari, G Pugliese, R Venneri, B

Citation: R. De Nicola et al., Types for access control, THEOR COMP, 240(1), 2000, pp. 215-254