A model and design of a security provider for Java applications | IEEE Conference Publication | IEEE Xplore