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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | report |
| Language: | Spanish |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.12008/3562 |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Hacia una especificación formal del modelo de seguridad de MIDP 3.0
- A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
- Autorización de Acceso en MIDP 3.0
- A formal specification of the MIDP 2.0 security model
- Hacia una especificación formal de un microcontrolador usado en marcapasos
- A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
- Formal analysis of security models for mobile devices, virtualization platforms and domain name systems