Java Cryptographic Extension : a pluggable cryptography framework where various providers can bring the desired functionality