OCL specifications for Java Card API
javacardx.crypto
Cipher.txt
KeyEncryption.txt