Types for Access Control (0)

by R De Nicola, G Ferrari, R Pugliese, B Venneri
Venue:Theoretical Computer Science