@inproceedings{Dragoni-POLICY-2011,
  author        = {Nicola Dragoni and Eduardo Lostal and Olga Gadyatskaya and Fabio Massacci and Federica Paci},
  title         = {A Load Time Policy Checker for Open Multi-application Smart Cards},
  booktitle     = {{POLICY} 2011, {IEEE} International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011},
  pages         = {153--156},
  year          = {2011}
}