• Home
• de.darmstadt.tu.crossing
• JavaCryptographicArchitecture
• 3.1.2
• 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.

tu.crossing.JavaCryptographicArchitecture.3.1.2.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"};
	length[keyMaterial] >= offset + len;
	neverTypeOf[keyMaterial, java.lang.String];
	
REQUIRES
	preparedKeyMaterial[keyMaterial];	
	
ENSURES
	speccedKey[this, _];
	generatedKey[this, keyAlgorithm];