Hacia una especificación formal del modelo de seguridad de MIDP 3.0

En la Plataforma Java Micro Edition, el Perfil para Dispositivos de información Móviles (MIDP) provee el ambiente de ejecución estándar para teléfonos móviles y asistentes de datos personales. La tercera versión del perfil, de reciente publicación, introduce una nueva dimensión en el modelo de segur...

Full description

Bibliographic Details

Main Author:	Mazeikis, Gustavo (author)
Other Authors:	Betarte, Gustavo (author), Luna, Carlos (author)
Format:	report
Language:	Spanish
Published:	2008
Subjects:	Java Micro Edition Interactive Mobile Devices Modelo de Seguridad Especificaciones Formales MIDP Coq
Online Access:	http://hdl.handle.net/20.500.12008/3562
Tags:	Add Tag No Tags, Be the first to tag this record!