Reporte técnico A formal specification of the MIDP 2.0 security model Autor(es): Zanella Béguelin, Santiago - Betarte, Gustavo - Luna, Carlos
Fecha de publicación: 2006
Institución: Universidad de la República