Motivation Specification Verification Refinement A Formal Specification of the MIDP 2.0 Security Model 1 ´ - Mobile Information Device Profile - Document - PDFSEARCH.IO

First Page	Meta Content
	Motivation Specification Verification Refinement A Formal Specification of the MIDP 2.0 Security Model 1 ´ Add to Reading List Document Date: 2013-03-13 12:33:24 Open Document File Size: 654,14 KB Share Result on Facebook Company Microsoft Research Joint Laboratory / / Country Uruguay / / IndustryTerm secure mobile device / malicious applications / / Organization Universidad de la Republica / / Person Sophia Antipolis / Luna A Formal / Santiago Zanella Beguelin Gustavo / / Position Security Model / / Technology Cell Phones / Mobile Device / / SocialTag Formal specification Specification Technology Management Form Java specification requests Formal methods Mobile Information Device Profile

Motivation Specification Verification Refinement A Formal Specification of the MIDP 2.0 Security Model 1 ´Add to Reading List