tu.crossing.JavaCryptographicArchitecture.3.1.2.source-code.OAEPParameterSpec.crysl Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of JavaCryptographicArchitecture
Show all versions of JavaCryptographicArchitecture
JavaCryptographicArchitecture CrySL ruleset
The newest version!
SPEC javax.crypto.spec.OAEPParameterSpec
OBJECTS
java.lang.String mdName;
java.lang.String mgfName;
java.security.spec.AlgorithmParameterSpec mgfSpec;
javax.crypto.spec.PSource pSrc;
EVENTS
c1: OAEPParameterSpec(mdName, mgfName, mgfSpec, pSrc);
Con := c1;
ORDER
Con
CONSTRAINTS
mdName in {"SHA-256", "SHA-384", "SHA-512"};
mgfName in {"MGF1"};
REQUIRES
preparedMGF1[mgfSpec, mdName];
ENSURES
preparedOAEP[this];