@article{LostalLanza:5093,
      author        = "Lostal Lanza, Eduardo and Dragoni, Nicola",
      title         = "{Securing Multi-Application Smart Cards by
                       Security-by-Contract}",
      year          = "2010",
}