Secure Execution of Mobile Java using Static Analysis and Proof Carrying Code Robert Atkey () Kenneth MacKenzie () School of Informatics, University of Edinburgh, UK Christopher Paton ( - Proof-carrying code - Document - PDFSEARCH.IO

First Page	Meta Content
	Secure Execution of Mobile Java using Static Analysis and Proof Carrying Code Robert Atkey () Kenneth MacKenzie () School of Informatics, University of Edinburgh, UK Christopher Paton ( Add to Reading List Document Date: 2015-04-09 11:00:25 Open Document File Size: 236,18 KB Share Result on Facebook

Secure Execution of Mobile Java using Static Analysis and Proof Carrying Code Robert Atkey () Kenneth MacKenzie () School of Informatics, University of Edinburgh, UK Christopher Paton (Add to Reading List