Formal Specification and Analysis of the MIDP 3.0 Security Model

Gustavo Mazeikis, Gustavo Betarte, Carlos Luna. Formal Specification and Analysis of the MIDP 3.0 Security Model. In Marcelo Arenas, Benjamin Bustos, editors, 2009 International Conference of the Chilean Computer Science Society, SCCC 2009, Santiago, Chile, November 10-12, 2009. pages 59-66, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.