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...

Full description

Bibliographic Details

Main Author:	Zanella Béguelin, Santiago (author)
Other Authors:	Betarte, Gustavo (author), Luna, Carlos (author)
Format:	report
Published:	2006
Subjects:	Calculus of Inductive Constructions Formal specification MIDP 2.0 Security Coq
Online Access:	http://hdl.handle.net/20.500.12008/3538
Tags:	Add Tag No Tags, Be the first to tag this record!