• Home
• de.paderborn.uni
• BouncyCastle-JCA
• 3.1.3
• 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.3.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 {"AES", "PBKDF2", "PBKDF2WithHmacSHA256", "PBKDF2WithHmacSHA384", "PBKDF2WithHmacSHA512",
				"PBKDF2WITHHMACSHA3-256", "PBKDF2WITHHMACSHA3-384", "PBKDF2WITHHMACSHA3-512", "Camellia"};

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