Formal Specification and Analysis of the MIDP 3.0 Security Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Gustavo Mazeikis' in GoogleThis author has not been identified. Look up 'Gustavo Betarte' in GoogleThis author has not been identified. Look up 'Carlos Luna' in Google

runs on WebDSL