.iem.BouncyCastle.3.1.3.source-code.AsymmetricCipherKeyPair.crysl Maven / Gradle / Ivy
The newest version!
SPEC org.bouncycastle.crypto.AsymmetricCipherKeyPair
OBJECTS
org.bouncycastle.crypto.params.AsymmetricKeyParameter publicParams;
org.bouncycastle.crypto.params.AsymmetricKeyParameter privateParams;
EVENTS
c1: AsymmetricCipherKeyPair(publicParams, privateParams);
Con := c1;
ORDER
Con
REQUIRES
generatedRSAKeyParameters[publicParams];
generatedRSAPrivateCrtKeyParameters[privateParams];
ENSURES
generatedRSAKeyPair[this] after Con;