ssl

Prolog files

crypto.pl
crypto_context_hash/2	Obtain the hash code of Context.
crypto_context_new/2	Context is unified with the empty context, taking into account Options.
crypto_curve_generator/2	Point is the generator of the elliptic curve Curve.
crypto_curve_order/2	Obtain the order of an elliptic curve.
crypto_curve_scalar_mult/4	R is the result of N times Point on the elliptic curve Curve.
crypto_data_context/3	Context0 is an existing computation context, and Context is the new context after hashing Data in addition to the previously hashed data.
crypto_data_decrypt/6	Decrypt the given CipherText, using the symmetric algorithm Algorithm, key Key, and initialization vector IV, to give PlainText.
crypto_data_encrypt/6	Encrypt the given PlainText, using the symmetric algorithm Algorithm, key Key, and initialization vector (or nonce) IV, to give CipherText.
crypto_data_hash/3	Hash is the hash of Data.
crypto_data_hkdf/4	Concentrate possibly dispersed entropy of Data and then expand it to the desired length.
crypto_file_hash/3	True if Hash is the hash of the content of File.
crypto_generate_prime/3	Generate a prime P with at least N bits.
crypto_is_prime/2	True iff P passes a probabilistic primality test.
crypto_modular_inverse/3	Compute the modular multiplicative inverse of the integer X.
crypto_n_random_bytes/2	Bytes is unified with a list of N cryptographically secure pseudo-random bytes.
crypto_name_curve/2	Obtain a handle for a named elliptic curve.
crypto_open_hash_stream/3	Open a filter stream on OrgStream that maintains a hash.
crypto_password_hash/2	If Hash is instantiated, the predicate succeeds iff the hash matches the given password.
crypto_password_hash/3	Derive Hash based on Password.
crypto_stream_hash/2	Unify Hash with a hash for the bytes sent to or read from HashStream.
ecdsa_sign/4	Create an ECDSA signature for Data with EC private key Key.
ecdsa_verify/4	True iff Signature can be verified as the ECDSA signature for Data, using the EC public key Key.
hex_bytes/2	Relation between a hexadecimal sequence and a list of bytes.
rsa_private_decrypt/4	RSA Public key encryption and decryption primitives.
rsa_private_encrypt/4	RSA Public key encryption and decryption primitives.
rsa_public_decrypt/4	RSA Public key encryption and decryption primitives.
rsa_public_encrypt/4	RSA Public key encryption and decryption primitives.
rsa_sign/4	Create an RSA signature for Data with private key Key.
rsa_verify/4	Verify an RSA signature for Data with public key Key.
ssl.pl
cert_accept_any/5	Implementation for the hook `cert_verify_hook(:Hook)` that accepts any certificate.
certificate_field/2	Retrieve the field matching Field from Certificate.
load_certificate/2	Loads a certificate from a PEM- or DER-encoded stream, returning a certificate.
load_crl/2	Loads a CRL from a PEM- or DER-encoded stream, returning a term containing terms hash/1, signature/1, issuer_name/1 and revocations/1, which is a list of revoked/2 terms.
load_private_key/3	Load a private key PrivateKey from the given stream Stream, using Password to decrypt the key if it is encrypted.
load_public_key/2	Load a public key PublicKey from the given stream Stream.
same_certificate/2	True if CertificateA is logically the same as CertificateB, even if they are stored in different blobs.
ssl_add_certificate_key/4	Add an additional certificate/key pair to SSL0, yielding SSL.
ssl_context/3	Create an SSL context.
ssl_negotiate/5	Once a connection is established and a read/write stream pair is available, (PlainRead and PlainWrite), this predicate can be called to negotiate an SSL session over the streams.
ssl_peer_certificate/2	True if the peer certificate is provided (this is always the case for a client connection) and Certificate unifies with the peer certificate.
ssl_peer_certificate_chain/2	Certificates is the certificate chain provided by the peer, represented as a list of certificates.
ssl_property/2	True when Property is a property of SSL.
ssl_secure_ciphers/1	Ciphers is a secure cipher preference list that can be used in the cipher_list/1 option of ssl_context/3.
ssl_session/2	Retrieves (debugging) properties from the SSL context associated with Stream.
ssl_set_options/3	SSL is the same as SSL0, except for the options specified in Options.
ssl_upgrade_legacy_options/2	Handle deprecated cacert_file(Spec) option and map it to the new cacerts(+List) option.
system_root_certificates/1	List is a list of trusted root certificates as provided by the OS.
verify_certificate/3	True if it is possible to build a chain of trust from Certificate to one of the certificates in TrustedCertificates, optionally using the (untrusted) certificates in AuxiliaryCertificates to complete the chain.
verify_certificate_issuer/2	True if Certificate is a certificate which was issued by the certificate Issuer.
write_certificate/3	Writes a certificate to the stream Stream.
xmldsig.pl  -- XML Digital signature
xmld_signed_DOM/3	Translate an XML DOM structure in a signed version.
xmld_verify_signature/4	Confirm that an ds:Signature element contains a valid signature.
xmlenc.pl  -- XML encryption library
decrypt_xml/4
load_certificate_from_base64_string/2	Loads a certificate from a string, adding newlines and header where appropriate so that OpenSSL 1.0.1+ will be able to parse it.