Provides models for cryptographic concepts.
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 classes for modeling new applications of a cryptographic algorithms.