An architecture for secure mobile devices. Issue 10 (17th June 2014)