Language-based security for mobile code with applications to smart cards Xavier Leroy INRIA Rocquencourt - Javac - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2005-01-12 04:26:34 Computing Software Java platform Cross-platform software Java Card Applet Java MIDlet Sandbox ActiveX Java applet Java virtual machine		Language-based security for mobile code with applications to smart cards Xavier Leroy INRIA Rocquencourt & Add to Reading List Source URL: pauillac.inria.fr Download Document from Source Website File Size: 1,24 MB Share Document on Facebook

	Midlet Navigation Graphs in JML Wojciech Mostowski and Erik Poll Radboud University Nijmegen Digital Security Group , DocID: 1uUEP - View Document
	Language-based security for mobile code with applications to smart cards Xavier Leroy INRIA Rocquencourt & DocID: 1r89z - View Document
	1 Påfør altid BALSAN Lotion altid INDEN vaskning, idet midlet virker bedst på tør hud. 2 DocID: 1gAyN - View Document
	Using the OSGi Application Model on Mobile Devices with CLDC JVM Dimitar Valtchev, CTO, ProSyst DocID: 1fKSn - View Document
	A Formal Specification of the MIDP 2.0 Security Model Santiago Zanella B´eguelin1,2 , Gustavo Betarte3 , and Carlos Luna3 1 2 DocID: 1a24S - View Document