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

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ

Հիմնական հեղինակ:	Zanella Béguelin, Santiago (author)
Այլ հեղինակներ:	Betarte, Gustavo (author), Luna, Carlos (author)
Ձևաչափ:	report
Հրապարակվել է:	2006
Խորագրեր:	Calculus of Inductive Constructions Formal specification MIDP 2.0 Security Coq
Առցանց հասանելիություն:	http://hdl.handle.net/20.500.12008/3538
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!