Security types for mobile safe ambients. (2000)

by M Dezani-Ciancaglini, I Salvo
Venue:In ASIAN’00,