A Formal Specification of the MIDP 2.0 Security Model Santiago Zanella B´eguelin1,2 , Gustavo Betarte3 , and Carlos Luna3 1 2

First Page		Document Content
Date: 2013-03-13 12:33:24 MIDlet S0 Filesystem permissions Connected Limited Device Configuration Java Platform Micro Edition Computing Java specification requests Mobile Information Device Profile		A Formal Specification of the MIDP 2.0 Security Model Santiago Zanella B´eguelin1,2 , Gustavo Betarte3 , and Carlos Luna3 1 2 Add to Reading List Source URL: software.imdea.org Download Document from Source Website File Size: 198,62 KB Share Document on Facebook