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]
No references recorded for this publication.
No citations of this publication recorded.