Formal Specification and Analysis of the MIDP 3.0 Security Model. - Gustavo Mazeikis; Gustavo Betarte; Carlos Luna 001 (SCCC, 2009)