@InProceedings{Zanella:2006:FAST,
  author    = "Santiago {Zanella B{\'e}guelin} and 
	       Gustavo Betarte and 
	       Carlos Luna",
  title     = "A Formal Specification of the {MIDP} 2.0 Security Model",
  booktitle = "4th International Workshop on 
               Formal Aspects in Security and Trust, FAST 2006",
  publisher = "Springer",
  series    = "Lectures Notes in Computer Science",
  volume    = "4691",
  year      = "2006",
  pages     = "220--234",
  url       = "http://dx.doi.org/10.1007/978-3-540-75227-1_15"
}