Formal Specification and Analysis of the MIDP 3.0 Security Model | IEEE Conference Publication | IEEE Xplore