• 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.SecretKeyFactory.crysl Maven / Gradle / Ivy

SPEC javax.crypto.SecretKeyFactory

OBJECTS
	java.lang.String algorithm;
	javax.crypto.SecretKey key;
	javax.crypto.SecretKey otherKey;
	java.security.spec.KeySpec keySpec;
   
EVENTS
	g1: getInstance(algorithm);
	g2: getInstance(algorithm, _);
	Get := g1 | g2;

	gS: key = generateSecret(keySpec);
	tK: key = translateKey(otherKey);
	Gen := gS | tK;

ORDER
	Get, Gen

CONSTRAINTS
	algorithm in {"PBKDF2WithHmacSHA512", "PBKDF2WithHmacSHA384", "PBKDF2WithHmacSHA256", "PBKDF2WithHmacSHA224", 
				"PBEWithHmacSHA512AndAES_128","PBEWithHmacSHA384AndAES_128", "PBEWithHmacSHA384AndAES_128", 
				"PBEWithHmacSHA224AndAES_128", "PBEWithHmacSHA256AndAES_128","PBEWithHmacSHA224AndAES_256", 
				"PBEWithHmacSHA256AndAES_256", "PBEWithHmacSHA384AndAES_256", "PBEWithHmacSHA512AndAES_256"};

REQUIRES
	speccedKey[keySpec, _];
	
ENSURES
	generatedKey[key, algorithm];