An evaluation of the Java security model | IEEE Conference Publication | IEEE Xplore