Back to Results
First PageMeta Content
MIDlet / S0 / Filesystem permissions / Connected Limited Device Configuration / Java Platform / Micro Edition / Computing / Java specification requests / Mobile Information Device Profile


A Formal Specification of the MIDP 2.0 Security Model Santiago Zanella B´eguelin1,2 , Gustavo Betarte3 , and Carlos Luna3 1 2
Add to Reading List

Document Date: 2013-03-13 12:33:24

Open Document

File Size: 198,62 KB

Share Result on Facebook

City

Sophia Antipolis Cedex / Montevideo / Orsay Cedex / /

Company

Microsoft Research Joint Laboratory / Connected Limited / /

Country

France / Uruguay / /

Currency

pence / /

/

IndustryTerm

dependent product / target technology / device manufacturer / /

Person

Ai / Sophia Antipolis / /

Position

Security Model Santiago Zanella / Prime Minister / Coq proof assistant / /

Product

Coq / /

ProgrammingLanguage

Java / /

Technology

virtual machine / HTTP / cell phones / dom / HTTP protocol / mobile device / Java / target technology / API / Mobile devices / /

URL

http /

SocialTag