OpenSSL: Secure Communication
(require openssl) | package: base |
The openssl library provides glue for the OpenSSL library with the Racket port system. It provides functions nearly identically to the standard TCP subsystem in Racket, plus a generic ports->ssl-ports interface.
To use this library, you will need OpenSSL installed on your machine, but on many platforms the necessary libraries are included with the OS or with the Racket distribution. In particular:
For Windows, openssl depends on "libeay32.dll" and "ssleay32.dll", which are included in the Racket distribution for Windows.
For Mac OS, openssl depends on "libssl.dylib" and "libcrypto.dylib". Although those libraries are provided by Mac OS 10.2 and later, their use is deprecated, so the Racket distribution for Mac OS includes newer versions.
For Unix, openssl depends on "libssl.so" and "libcrypto.so", which must be installed in a standard library location or in a directory listed by LD_LIBRARY_PATH. These libraries are included in many OS distributions.
value
value
ssl-load-fail-reason : (or/c #f string?)
1 TCP-like Client Procedures
Use ssl-connect or ssl-connect/enable-break to create an SSL connection over TCP. To create a secure connection, supply the result of ssl-secure-client-context or create a client context with ssl-make-client-context and configure it using the functions described in Context Procedures.
procedure
(ssl-connect hostname port-no [ client-protocol #:alpn alpn-protocols]) →
input-port? output-port? hostname : string? port-no : (integer-in 1 65535)
client-protocol : (or/c ssl-client-context? ssl-protocol-symbol/c) = 'auto alpn-protocols : (listof bytes?) = null
The default 'auto protocol is insecure. Use 'secure for a secure connection. See ssl-secure-client-context for details.
The optional client-protocol argument determines which encryption protocol is used, whether the server’s certificate is checked, etc. The argument can be either a client context created by ssl-make-client-context a symbol specifying the protocol to use; see ssl-make-client-context for further details, including the meanings of the protocol symbols.
Closing the resulting output port does not send a shutdown message to the server. See also ports->ssl-ports.
If hostname verification is enabled (see ssl-set-verify-hostname!), the peer’s certificate is checked against hostname.
If alpn-protocols is not empty, the client attempts to use ALPN to negotiate the application-level protocol. The protocols should be listed in order of preference, and each protocol must be a byte string with a length between 1 and 255 (inclusive). See also ssl-get-alpn-selected.
Changed in version 6.3.0.12 of package base: Added 'secure for
client-protocol.
Changed in version 8.0.0.13: Added #:alpn argument.
procedure
(ssl-connect/enable-break hostname port-no [ client-protocol])
→
input-port? output-port? hostname : string? port-no : (integer-in 1 65535)
client-protocol : (or/c ssl-client-context? ssl-protocol-symbol/c) = 'auto
procedure
(let ([ctx (ssl-make-client-context 'auto)]) ; Load default verification sources (root certificates) (ssl-load-default-verify-sources! ctx) ; Require certificate verification (ssl-set-verify! ctx #t) ; Require hostname verification (ssl-set-verify-hostname! ctx #t) ; No weak cipher suites (ssl-set-ciphers! ctx "DEFAULT:!aNULL:!eNULL:!LOW:!EXPORT:!SSLv2") ; Seal context so further changes cannot weaken it (ssl-seal-context! ctx) ctx)
The context is cached, so different calls to ssl-secure-client-context return the same context unless (ssl-default-verify-sources) has changed.
Note that (ssl-secure-client-context) returns a sealed context, so it is not possible to add a private key and certificate chain to it. If client credentials are required, use ssl-make-client-context instead.
procedure
(ssl-make-client-context [ protocol #:private-key private-key #:certificate-chain certificate-chain]) → ssl-client-context? protocol : ssl-protocol-symbol/c = 'auto
private-key :
(or/c (list/c 'pem path-string?) (list/c 'der path-string?) #f) = #f certificate-chain : (or/c path-string? #f) = #f
The client context identifies a communication protocol (as selected by protocol), and also holds certificate information (i.e., the client’s identity, its trusted certificate authorities, etc.). See the section Context Procedures below for more information on certificates.
'secure : Equivalent to (ssl-secure-client-context).
'auto : Automatically negotiates the protocol version from those that this library considers sufficiently secure—
currently TLS versions 1.0 and higher, but subject to change. 'tls12 : Only TLS protocol version 1.2.
'tls13 : Only TLS protocol version 1.3.
'sslv2-or-v3 : Alias for 'auto. Note that despite the name, neither SSL 2.0 nor 3.0 are considered sufficiently secure, so this protocol no longer allows either of them.
'sslv2 : SSL protocol version 2.0. Deprecated by RFC 6176 (2011). Note that SSL 2.0 support has been removed from many platforms.
'sslv3 : SSL protocol version 3.0. Deprecated by RFC 7568 (2015).
'tls : Only TLS protocol version 1.0. Deprecated by RFC 8996 (2021).
'tls11 : Only TLS protocol version 1.1. Deprecated by RFC 8996 (2021).
Not all protocol versions are supported by all servers. The 'secure and 'auto options offer broad compatibility at a reasonable level of security. Note that the security of connections depends on more than the protocol version; see ssl-secure-client-context for details. See also supported-client-protocols and supported-server-protocols.
If private-key and certificate-chain are provided, they are loaded into the context using ssl-load-private-key! and ssl-load-certificate-chain!, respectively. Client credentials are rarely used with HTTPS, but they are occasionally used in other kind of servers.
Changed in version 6.1 of package base: Added 'tls11 and 'tls12.
Changed in version 6.1.1.3: Default to new 'auto and disabled SSL
2.0 and 3.0 by default.
Changed in version 6.3.0.12: Added 'secure.
Changed in version 7.3.0.10: Added #:private-key and #:certificate-chain
arguments.
value
=
(or/c 'secure 'auto 'sslv2-or-v3 'sslv2 'sslv3 'tls 'tls11 'tls12 'tls13)
Added in version 8.6.0.4 of package base.
Changed in version 8.6.0.4: Added 'tls13.
procedure
(supported-client-protocols) → (listof ssl-protocol-symbol/c)
Changed in version 6.3.0.12 of package base: Added 'secure.
procedure
(ssl-client-context? v) → boolean?
v : any/c
Added in version 6.0.1.3 of package base.
procedure
Added in version 6.1.1.3 of package base.
procedure
p : ssl-port?
Added in version 8.6.0.4 of package base.
2 TCP-like Server Procedures
procedure
(ssl-listen port-no [ queue-k reuse? hostname-or-#f server-protocol]) → ssl-listener? port-no : listen-port-number? queue-k : exact-nonnegative-integer? = 5 reuse? : any/c = #f hostname-or-#f : (or/c string? #f) = #f
server-protocol : (or/c ssl-server-context? ssl-protocol-symbol/c) = 'auto
Call ssl-load-certificate-chain! and ssl-load-private-key! to avoid a no shared cipher error on accepting connections. The file "test.pem" in the "openssl" collection is a suitable argument for both calls when testing. Since "test.pem" is public, however, such a test configuration obviously provides no security.
An SSL listener is a synchronizable value (see sync). It is
ready—
Changed in version 6.3.0.12 of package base: Added 'secure.
procedure
listener : ssl-listener?
procedure
(ssl-listener? v) → boolean?
v : any/c
procedure
(ssl-accept listener) →
input-port? output-port? listener : ssl-listener?
procedure
(ssl-accept/enable-break listener) →
input-port? output-port? listener : ssl-listener?
Closing the resulting output port does not send a shutdown message to the client. See also ports->ssl-ports.
See also ssl-connect about the limitations of reading and writing to an SSL connection (i.e., one direction at a time).
The ssl-accept/enable-break procedure is analogous to tcp-accept/enable-break.
procedure
(ssl-abandon-port p) → void?
p : ssl-port?
procedure
(ssl-addresses p [port-numbers?])
→
(or/c (values string? string?) (values string? port-number? string? listen-port-number?)) p : (or/c ssl-port? ssl-listener?) port-numbers? : any/c = #f
procedure
(ssl-make-server-context [ protocol #:private-key private-key #:certificate-chain certificate-chain]) → ssl-server-context? protocol : ssl-protocol-symbol/c = 'auto
private-key :
(or/c (list/c 'pem path-string?) (list/c 'der path-string?) #f) = #f certificate-chain : (or/c path-string? #f) = #f
If private-key and certificate-chain are provided, they are loaded into the context using ssl-load-private-key! and ssl-load-certificate-chain!, respectively.
Changed in version 6.3.0.12 of package base: Added 'secure.
Changed in version 7.3.0.10: Added #:private-key and #:certificate-chain
arguments.
procedure
(ssl-server-context? v) → boolean?
v : any/c
procedure
(supported-server-protocols) → (listof ssl-protocol-symbol/c)
Added in version 6.0.1.3 of package base.
Changed in version 6.3.0.12: Added 'secure.
procedure
Added in version 6.1.1.3 of package base.
3 SSL-wrapper Interface
procedure
(ports->ssl-ports input-port output-port [ #:mode mode #:context context #:encrypt protocol #:close-original? close-original? #:shutdown-on-close? shutdown-on-close? #:error/ssl error #:hostname hostname #:alpn alpn-protocols])
→
input-port? output-port? input-port : input-port? output-port : output-port? mode : (or/c 'connect 'accept) = 'accept
context : (or/c ssl-client-context? ssl-server-context?) =
((if (eq? mode 'accept) ssl-make-server-context ssl-make-client-context) protocol) protocol : ssl-protocol-symbol/c = 'auto close-original? : boolean? = #f shutdown-on-close? : boolean? = #f error : procedure? = error hostname : (or/c string? #f) = #f alpn-protocols : (listof bytes?) = null
The mode argument can be 'connect or 'accept. The mode determines how the SSL protocol is initialized over the ports, either as a client or as a server. As with ssl-listen, in 'accept mode, supply a context that has been initialized with ssl-load-certificate-chain! and ssl-load-private-key! to avoid a no shared cipher error.
The context argument should be a client context for 'connect mode or a server context for 'accept mode. If it is not supplied, a context is created using the protocol specified by a protocol argument.
If the protocol argument is not supplied, it defaults to 'auto. See ssl-make-client-context for further details (including all options and the meanings of the protocol symbols). This argument is ignored if a context argument is supplied.
If close-original? is true, then when both SSL ports are closed, the given input and output ports are automatically closed.
If shutdown-on-close? is true, then when the output SSL port is closed, it sends a shutdown message to the other end of the SSL connection. When shutdown is enabled, closing the output port can fail if the given output port becomes unwritable (e.g., because the other end of the given port has been closed by another process).
The error argument is an error procedure to use for raising communication errors. The default is error, which raises exn:fail; in contrast, ssl-accept and ssl-connect use an error function that raises exn:fail:network.
See also ssl-connect about the limitations of reading and writing to an SSL connection (i.e., one direction at a time).
If hostname verification is enabled (see ssl-set-verify-hostname!), the peer’s certificate is checked against hostname.
If alpn-protocols is not empty and mode is 'connect, then the client attempts to use ALPN; see also ssl-connect and ssl-get-alpn-selected. If alpn-protocols is not empty and mode is 'accept, an exception (exn:fail) is raised; use ssl-set-server-alpn! to set the ALPN protocols for a server context.
Changed in version 8.0.0.13 of package base: Added #:alpn argument.
4 Context Procedures
procedure
(ssl-load-verify-source! context src [ #:try? try?]) → void? context : (or/c ssl-client-context? ssl-server-context?)
src :
(or/c path-string? (list/c 'directory path-string?) (list/c 'win32-store string?) (list/c 'macosx-keychain (or/c #f path-string?))) try? : any/c = #f
The following kinds of verification sources are supported:
If src is a path or string, it is treated as a PEM file containing root certificates. The file is loaded immediately.
If src is (list 'directory dir), then dir should contain PEM files with hashed symbolic links (see the openssl c_rehash utility). The directory contents are not loaded immediately; rather, they are searched only when a certificate needs verification.
If src is (list 'win32-store store), then the certificates from the store named store are loaded immediately. Only supported on Windows.
If src is (list 'macosx-keychain #f), then the certificates from the Mac OS trust anchor (root) certificates (as returned by SecTrustCopyAnchorCertificates) are loaded immediately. Only supported on Mac OS.
If src is (list 'macosx-keychain path), then the certificates from the keychain stored at path are loaded immediately. Only supported on Mac OS.
If try? is #f and loading src fails (for example, because the file or directory does not exist), then an exception is raised. If try? is a true value, then a load failure is ignored.
You can use the file "test.pem" of the "openssl" collection for testing purposes. Since "test.pem" is public, such a test configuration obviously provides no security.
Changed in version 8.4.0.5 of package base: Added (list 'macosx-keychain #f) variant.
parameter
→
(let ([source/c (or/c path-string? (list/c 'directory path-string?) (list/c 'win32-store string?) (list/c 'macosx-keychain (or/c #f path-string?)))]) (listof source/c)) (ssl-default-verify-sources srcs) → void?
srcs :
(let ([source/c (or/c path-string? (list/c 'directory path-string?) (list/c 'win32-store string?) (list/c 'macosx-keychain (or/c #f path-string?)))]) (listof source/c))
On Linux, the default sources are determined by the SSL_CERT_FILE and SSL_CERT_DIR environment variables, if the variables are set, or the system-wide default locations otherwise.
On Mac OS, the default sources consist of the OS trust anchor (root) certificates: '(macosx-keychain #f).
On Windows, the default sources consist of the system certificate store for root certificates: '(win32-store "ROOT").
Changed in version 8.4.0.5 of package base: Changed default source on Mac OS.
procedure
(ssl-load-default-verify-sources! context) → void?
context : (or/c ssl-client-context? ssl-server-context?)
procedure
(ssl-load-verify-root-certificates! context-or-listener pathname) → void?
context-or-listener :
(or/c ssl-client-conntext? ssl-server-context? ssl-listener?) pathname : path-string?
procedure
(ssl-set-ciphers! context cipher-spec) → void?
context : (or/c ssl-client-context? ssl-server-context?) cipher-spec : string?
procedure
(ssl-seal-context! context) → void?
context : (or/c ssl-client-context? ssl-server-context?)
procedure
(ssl-load-certificate-chain! context-or-listener pathname) → void?
context-or-listener :
(or/c ssl-client-context? ssl-server-context? ssl-listener?) pathname : path-string?
This chain is used to identify the client or server when it connects or accepts connections. Loading a chain overwrites the old chain. Also call ssl-load-private-key! to load the certificate’s corresponding key.
You can use the file "test.pem" of the "openssl" collection for testing purposes. Since "test.pem" is public, such a test configuration obviously provides no security.
procedure
(ssl-load-private-key! context-or-listener pathname [ rsa? asn1?]) → void?
context-or-listener :
(or/c ssl-client-context? ssl-server-context? ssl-listener?) pathname : path-string? rsa? : boolean? = #t asn1? : boolean? = #f
If rsa? is #t (the default), the first RSA key is read (i.e., non-RSA keys are skipped). If asn1? is #t, the file is parsed as ASN1 format instead of PEM.
You can use the file "test.pem" of the "openssl" collection for testing purposes. Since "test.pem" is public, such a test configuration obviously provides no security.
procedure
(ssl-load-suggested-certificate-authorities! context-or-listener pathname) → void?
context-or-listener :
(or/c ssl-client-context? ssl-server-context? ssl-listener?) pathname : path-string?
Loading the suggested certificates does not imply trust, however; any certificate presented by the client will be checked using the trusted roots loaded by ssl-load-verify-root-certificates!.
You can use the file "test.pem" of the "openssl" collection for testing purposes where the peer identifies itself using "test.pem".
procedure
(ssl-server-context-enable-dhe! context [ dh-param]) → void? context : ssl-server-context? dh-param : (or/c path-string? bytes?) = ssl-dh4096-param-bytes
procedure
(ssl-server-context-enable-ecdhe! context [ curve-name]) → void? context : ssl-server-context? curve-name : symbol? = 'secp521r1
For DHE, the dh-param must be a path to a ".pem" file containing DH parameters or the content of such a file as a byte string.
For ECDHE, the curve-name must be one of the following symbols naming a standard elliptic curve: 'sect163k1, 'sect163r1, 'sect163r2, 'sect193r1, 'sect193r2, 'sect233k1, 'sect233r1, 'sect239k1, 'sect283k1, 'sect283r1, 'sect409k1, 'sect409r1, 'sect571k1, 'sect571r1, 'secp160k1, 'secp160r1, 'secp160r2, 'secp192k1, 'secp224k1, 'secp224r1, 'secp256k1, 'secp384r1, 'secp521r1, 'prime192v, 'prime256v.
Changed in version 7.7.0.4 of package base: Allow a byte string as the dh-param argument to ssl-server-context-enable-dhe!.
value
Changed in version 7.7.0.4 of package base: Added as a replacement for ssl-dh4096-param-path.
procedure
(ssl-set-server-name-identification-callback! context callback) → void? context : ssl-server-context? callback : (string? . -> . (or/c ssl-server-context? #f))
The client sends this information via the TLS Server Name Identification extension, which was created to allow virtual hosting for secure servers.
The suggested use it to prepare the appropriate server contexts, define a single callback which can dispatch between them, and then apply it to all the contexts before sealing them. A minimal example:
(define ctx-a (ssl-make-server-context 'tls)) (define ctx-b (ssl-make-server-context 'tls)) ... (ssl-load-certificate-chain! ctx-a "cert-a.pem") (ssl-load-certificate-chain! ctx-b "cert-b.pem") ... (ssl-load-private-key! ctx-a "key-a.pem") (ssl-load-private-key! ctx-b "key-b.pem") ... (define (callback hostname) (cond [(equal? hostname "a") ctx-a] [(equal? hostname "b") ctx-b] ... [else #f])) (ssl-set-server-name-identification-callback! ctx-a callback) (ssl-set-server-name-identification-callback! ctx-b callback) ... (ssl-seal-context! ctx-a) (ssl-seal-context! ctx-b) ... (ssl-listen 443 5 #t #f ctx-a)
If the callback returns #f, the connection attempt will continue, using the original server context.
procedure
(ssl-set-server-alpn! context alpn-protocols [ allow-no-match?]) → void? context : ssl-server-context? alpn-protocols : (listof bytes?) allow-no-match? : boolean? = #t
Added in version 8.4.0.5 of package base.
5 Peer Verification
procedure
(ssl-set-verify! clp on?) → void?
clp :
(or/c ssl-client-context? ssl-server-context? ssl-listener? ssl-port?) on? : any/c
Enabling verification also requires, at a minimum, designating trusted certificate authorities with ssl-load-verify-source!.
Verifying the certificate is not sufficient to prevent attacks by active adversaries, such as man-in-the-middle attacks. See also ssl-set-verify-hostname!.
procedure
(ssl-try-verify! clp on?) → void?
clp :
(or/c ssl-client-context? ssl-server-context? ssl-listener? ssl-port?) on? : any/c
procedure
(ssl-peer-verified? p) → boolean?
p : ssl-port?
procedure
(ssl-set-verify-hostname! ctx on?) → void?
ctx : (or/c ssl-client-context? ssl-server-context?) on? : any/c
Hostname verification does not imply certificate verification. To verify the certificate itself, also call ssl-set-verify!.
procedure
p : ssl-port?
The result list may contain both hostnames such as "www.racket-lang.org" and hostname patterns such as "*.racket-lang.org".
procedure
(ssl-peer-check-hostname p hostname) → boolean?
p : ssl-port? hostname : string?
procedure
(ssl-peer-subject-name p) → (or/c bytes? #f)
p : ssl-port?
Use ssl-peer-check-hostname or ssl-peer-certificate-hostnames instead to check the validity of an SSL connection.
procedure
(ssl-peer-issuer-name p) → (or/c bytes? #f)
p : ssl-port?
procedure
p : ssl-port?
Added in version 8.6.0.4 of package base.
procedure
(ssl-channel-binding p type) → bytes?
p : ssl-port?
type :
(or/c 'tls-exporter 'tls-unique 'tls-server-end-point)
If the channel binding cannot be retrieved (for example, if the connection is closed), an exception is raised.
Added in version 7.7.0.9 of package base.
Changed in version 8.6.0.4: Added 'tls-exporter. An exception is raised
for 'tls-unique with a TLS 1.3 connection.
procedure
(ssl-get-alpn-selected p) → (or/c bytes? #f)
p : ssl-port?
If a server does not support any of the protocols proposed by a client, it might reject the connection or it might accept the connection without selecting an application protocol. So it is recommended to always check the selected protocol after making a connection.
Added in version 8.0.0.13 of package base.
6 SHA-1 Hashing
(require openssl/sha1) | package: base |
procedure
in : input-port?
The sha1 function composes bytes->hex-string with sha1-bytes.
procedure
(sha1-bytes in) → bytes?
in : input-port?
The sha1-bytes function from racket/base computes the same result and is only slightly slower.
procedure
(bytes->hex-string bstr) → string?
bstr : bytes?
procedure
(hex-string->bytes str) → bytes?
str : string?
7 MD5 Hashing
(require openssl/md5) | package: base |
Added in version 6.0.0.3 of package base.
procedure
in : input-port?
The md5 function composes bytes->hex-string with md5-bytes.
procedure
in : input-port?
8 The "libcrypto" Shared Library
(require openssl/libcrypto) | package: base |
value
value
9 The "libssl" Shared Library
(require openssl/libssl) | package: base |
value
libssl-load-fail-reason : (or/c #f string?)