uni.BouncyCastle-JCA.3.0.1.source-code.AlgorithmParameters.crysl Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of BouncyCastle-JCA

BouncyCastle-JCA CrySL ruleset

There is a newer version: 3.1.3

SPEC java.security.AlgorithmParameters

OBJECTS
	java.lang.String algorithm;
	java.security.spec.AlgorithmParameterSpec paramSpec;
	byte[] params; 
	java.lang.String format;
	byte[] encParams;

EVENTS
	g1: getInstance(algorithm);
	g2: getInstance(algorithm, _);
	Get := g1 | g2;

	i1: init(paramSpec);
	i2: init(params);
	i3: init(params, _);
	Init := i1 | i2 | i3;
    
	e1: encParams = getEncoded();
	e2: encParams = getEncoded(format);
	GetEncoded := e1 | e2;

ORDER
	Get, Init, GetEncoded?

CONSTRAINTS
	algorithm in {"AES", "Camellia", "ChaCha7539", "DSA", "DiffieHellman", "DH", "EC", "ElGamal", "PBKDF2", "Rijndael", "Salsa20", "Tnepres", 
		"Serpent", "SHACAL-2", "Shacal2", "Twofish", "XSalsa20", "OAEP", "PSS", "RSAPSS", "SHA256withRSA/PSS", "SHA384withRSA/PSS", 
		"SHA512withRSA/PSS", "SHA256WITHRSAANDMGF1", "SHA386WITHRSAANDMGF1", "SHA512WITHRSAANDMGF1", "SHA3-256WITHRSAANDMGF1", 
		"SHA3-386WITHRSAANDMGF1", "SHA3-512WITHRSAANDMGF1"};

REQUIRES    
	preparedAlg[params, algorithm];
	algorithm in {"AES", "Camellia", "ChaCha7539", "ElGamal", "PBKDF2", "Rijndael", "Salsa20", "Tnepres", "Serpent", "SHACAL-2",
		"Shacal2", "Twofish", "XSalsa20", "OAEP", "PSS", "RSAPSS", "SHA256withRSA/PSS", "SHA384withRSA/PSS", "SHA512withRSA/PSS",
		"SHA256WITHRSAANDMGF1", "SHA386WITHRSAANDMGF1", "SHA512WITHRSAANDMGF1", "SHA3-256WITHRSAANDMGF1", "SHA3-386WITHRSAANDMGF1",
		"SHA3-512WITHRSAANDMGF1"} => preparedIV[paramSpec];
	algorithm in {"DiffieHellman", "DH"} => preparedDH[paramSpec];
	algorithm in {"DSA"} => preparedDSA[paramSpec];
	algorithm in {"EC"} => preparedEC[paramSpec];
	algorithm in {"OAEP"} => preparedOAEP[paramSpec];
	algorithm in {"PBEWithHmacSHA224AndAES_128", "PBEWithHmacSHA256AndAES_128", "PBEWithHmacSHA384AndAES_128", 
		"PBEWithHmacSHA512AndAES_128", "PBEWithHmacSHA224AndAES_256", "PBEWithHmacSHA256AndAES_256", 
		"PBEWithHmacSHA384AndAES_256", "PBEWithHmacSHA512AndAES_256"} => preparedPBE[paramSpec];
    
ENSURES 
	preparedAlg[this, algorithm] after Init;
	preparedAlg[encParams, algorithm] after GetEncoded;