Provides models for cryptographic things.
CryptographicAlgorithm class currently doesn’t take weak keys into
consideration for the
isWeak member predicate. So RSA is always considered
secure, although using a low number of bits will actually make it insecure. We plan
to improve our libraries in the future to more precisely capture this aspect.
Provides models for cryptographic concepts.
Provides models for public-key cryptography, also called asymmetric cryptography.