A cryptographic framework for Java