/usr/lib/swipl/library/ext/ssl/ssl.pl
All Application Manual Name SummaryHelp

  • ext
    • ssl
      • ssl.pl -- Secure Socket Layer (SSL) library
        • ssl_context/3
        • ssl_upgrade_legacy_options/2
        • ssl_add_certificate_key/4
        • ssl_set_options/3
        • ssl_property/2
        • ssl_negotiate/5
        • ssl_peer_certificate/2
        • ssl_peer_certificate_chain/2
        • ssl_session/2
        • load_certificate/2
        • write_certificate/3
        • load_crl/2
        • system_root_certificates/1
        • load_private_key/3
        • load_public_key/2
        • cert_accept_any/5
        • same_certificate/2
        • verify_certificate_issuer/2
        • verify_certificate/3
        • certificate_field/2
        • ssl_secure_ciphers/1
      • crypto.pl -- Cryptography and authentication library
      • xmlenc.pl -- XML encryption library
      • xmldsig.pl -- XML Digital signature
 ssl_property(+SSL, ?Property) is semidet
True when Property is a property of SSL. Defined properties are:
  • close_parent(?Bool)
To be done
- This version is a very minimal implementation of the generic property interface. Future versions will add more properties and non-determinism.