| implementsModel SOME EllipticCurveDiscreteLogarithm |
| implementsModel ONLY EllipticCurveDiscreteLogarithm |
| Public-KeyEncryption |
Class(EllipticCurveCryptography partial restriction(implementsModel someValuesFrom(EllipticCurveDiscreteLogarithm))
restriction(implementsModel allValuesFrom(EllipticCurveDiscreteLogarithm))
Public-KeyEncryption)