• Home
• de.paderborn.uni
• BouncyCastle-JCA
• 3.0.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.0.1.source-code.KeyFactory.crysl Maven / Gradle / Ivy

SPEC java.security.KeyFactory

OBJECTS
	java.lang.String algorithm;
	java.security.spec.KeySpec keySpec;
	java.security.PrivateKey privateKey;
	java.security.PublicKey publicKey;
   
EVENTS
	g1: getInstance(algorithm);
	g2: getInstance(algorithm, _);
	Get := g1 | g2;

	gpr1: privateKey = generatePrivate(keySpec);
	GenPriv := gpr1;
	
	gpu1: publicKey = generatePublic(keySpec);
	GenPubl := gpu1;
    
ORDER
	Get, (GenPriv | GenPubl)*

CONSTRAINTS
	algorithm in {"DiffieHellman", "DH", "DSA", "EC", "ECDH", "ECDHC", "ECDSA", "RSA", "ElGamal",
				"X.509", "McElieceKobaraImai", "McEliecePointcheval", "McElieceFujisaki", "McEliece",
				"McEliece-CCA2", "NH", "QTESLA", "Rainbow", "SPHINCS256", "XMSS", "XMSSMT"};

REQUIRES
	speccedKey[keySpec, _];	
	
ENSURES
	generatedKeyFactory[this, algorithm] after Get;
	generatedPrivkey[privateKey] after GenPriv;
	generatedPubkey[publicKey] after GenPubl;