@inproceedings{DBLP:conf/types/CrespoBL08,
  author    = {Juan Manuel Crespo and
               Gustavo Betarte and
               Carlos Luna},
  title     = {A Framework for the Analysis of Access Control Models for
               Interactive Mobile Devices},
  booktitle = {TYPES},
  year      = {2008},
  pages     = {49-63}
}