• Home
• de.paderborn.uni
• BouncyCastle-JCA
• 3.1.1
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

uni.BouncyCastle-JCA.3.1.1.source-code.SecretKeySpec.crysl Maven / Gradle / Ivy

SPEC javax.crypto.spec.SecretKeySpec

OBJECTS 
	java.lang.String keyAlgorithm;
	byte[] keyMaterial;
	int len;
	int offset;
		
EVENTS
	c1: SecretKeySpec(keyMaterial, keyAlgorithm);
	c2: SecretKeySpec(keyMaterial, offset, len, keyAlgorithm);
	Con := c1 | c2;
	
ORDER
	Con
 	
CONSTRAINTS
	keyAlgorithm in {"AES", "HmacSHA256", "HmacSHA384", "HmacSHA512",
					"HMACSHA3-224", "HMACSHA3-256", "HMACSHA3-384", "HMACSHA3-512", "HmacSHA3-1024"};
	length[keyMaterial] >= offset + len;
	neverTypeOf[keyMaterial, java.lang.String];
	
REQUIRES
	preparedKeyMaterial[keyMaterial];	
	
ENSURES
	speccedKey[this, _];
	generatedKey[this, keyAlgorithm];