Enforcing high-level security properties for applets (2004)

by M Pavlova, G Barthe, L Burdy, M Huisman, J-L Lanet
Venue:In CARDIS 2004