uni.BouncyCastle-JCA.3.0.1.source-code.DHGenParameterSpec.crysl Maven / Gradle / Ivy
SPEC javax.crypto.spec.DHGenParameterSpec
OBJECTS
int primeSize;
int exponentSize;
EVENTS
c1: DHGenParameterSpec(primeSize, exponentSize);
Con := c1;
ORDER
Con
CONSTRAINTS
exponentSize < primeSize;
ENSURES
preparedDH[this];
© 2015 - 2025 Weber Informatics LLC | Privacy Policy