A formal specification of the MIDP 2.0 security model
This paper overviews a formal specification, using the Calculus of Inductive Constructions, of the application security model defined by the Mobile Information Device Profile 2.0 for Java 2 Micro Edition. We present an abstract model of the state of the device and security-related events that allows...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | report |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.12008/3538 |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: A formal specification of the MIDP 2.0 security model
- A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
- Hacia una especificación formal del modelo de seguridad de MIDP 3.0
- Autorización de Acceso en MIDP 3.0
- Formal analysis of security models for mobile devices, virtualization platforms and domain name systems
- An institution for UML 2.0 state machines
- An operational approach to program extraction in the Calculus of Constructions