@article{Dragoni-IJCCBS-2012,
  author        = {Nicola Dragoni and Olga Gadyatskaya and Fabio Massacci and Anton Philippov},
  title         = {High-level algorithms and data structures requirements for security-by-contract on {Java} cards},
  journal       = {{IJCCBS}},
  volume        = {3},
  number        = {4},
  pages         = {284--304},
  year          = {2012}
}