mirror of https://github.com/openssl/openssl.git
				
				
				
			
		
			
				
	
	
		
			332 lines
		
	
	
		
			15 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
			
		
		
	
	
			332 lines
		
	
	
		
			15 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
=pod
 | 
						|
 | 
						|
=head1 NAME
 | 
						|
 | 
						|
ossl-guide-libraries-introduction
 | 
						|
- OpenSSL Guide: An introduction to the OpenSSL libraries
 | 
						|
 | 
						|
=head1 INTRODUCTION
 | 
						|
 | 
						|
OpenSSL supplies two libraries that can be used by applications known as
 | 
						|
C<libcrypto> and C<libssl>.
 | 
						|
 | 
						|
The C<libcrypto> library provides APIs for general purpose cryptography such as
 | 
						|
encryption, digital signatures, hash functions, etc. It additionally supplies
 | 
						|
supporting APIs for cryptography related standards, e.g. for reading and writing
 | 
						|
digital certificates (also known as X.509 certificates). Finally it also
 | 
						|
supplies various additional supporting APIs that are not directly cryptography
 | 
						|
related but are nonetheless useful and depended upon by other APIs. For
 | 
						|
example the "BIO" functions provide capabilities for abstracting I/O, e.g. via a
 | 
						|
file or over a network.
 | 
						|
 | 
						|
The C<libssl> library provides functions to perform secure communication between
 | 
						|
two peers across a network. Most significantly it implements support for the
 | 
						|
SSL/TLS, DTLS and QUIC standards.
 | 
						|
 | 
						|
The C<libssl> library depends on and uses many of the capabilities supplied by
 | 
						|
C<libcrypto>. Any application linked against C<libssl> will also link against
 | 
						|
C<libcrypto>, and most applications that do this will directly use API functions
 | 
						|
supplied by both libraries.
 | 
						|
 | 
						|
Applications may be written that only use C<libcrypto> capabilities and do not
 | 
						|
link against C<libssl> at all.
 | 
						|
 | 
						|
=head1 PROVIDERS
 | 
						|
 | 
						|
As well as the two main libraries, OpenSSL also comes with a set of providers.
 | 
						|
 | 
						|
A provider in OpenSSL is a component that collects together algorithm
 | 
						|
implementations (for example an implementation of the symmetric encryption
 | 
						|
algorithm AES). In order to use an algorithm you must have at least one
 | 
						|
provider loaded that contains an implementation of it. OpenSSL comes with a
 | 
						|
number of providers and they may also be obtained from third parties.
 | 
						|
 | 
						|
Providers may either be "built-in" or in the form of a separate loadable module
 | 
						|
file (typically one ending in ".so" or ".dll" dependent on the platform). A
 | 
						|
built-in provider is one that is either already present in C<libcrypto> or one
 | 
						|
that the application has supplied itself directly. Third parties can also supply
 | 
						|
providers in the form of loadable modules.
 | 
						|
 | 
						|
If you don't load a provider explicitly (either in program code or via config)
 | 
						|
then the OpenSSL built-in "default" provider will be automatically loaded.
 | 
						|
 | 
						|
See L</OPENSSL PROVIDERS> below for a description of the providers that OpenSSL
 | 
						|
itself supplies.
 | 
						|
 | 
						|
Loading and unloading providers is quite an expensive operation. It is normally
 | 
						|
done once, early on in the application lifecycle and those providers are kept
 | 
						|
loaded for the duration of the application execution.
 | 
						|
 | 
						|
=head1 LIBRARY CONTEXTS
 | 
						|
 | 
						|
Many OpenSSL API functions make use of a library context. A library context can
 | 
						|
be thought of as a "scope" within which configuration options take effect. When
 | 
						|
a provider is loaded, it is only loaded within the scope of a given library
 | 
						|
context. In this way it is possible for different components of a complex
 | 
						|
application to each use a different library context and have different providers
 | 
						|
loaded with different configuration settings.
 | 
						|
 | 
						|
If an application does not explicitly create a library context then the
 | 
						|
"default" library context will be used.
 | 
						|
 | 
						|
Library contexts are represented by the B<OSSL_LIB_CTX> type. Many OpenSSL API
 | 
						|
functions take a library context as a parameter. Applications can always pass
 | 
						|
B<NULL> for this parameter to just use the default library context.
 | 
						|
 | 
						|
The default library context is automatically created the first time it is
 | 
						|
needed. This will automatically load any available configuration file and will
 | 
						|
initialise OpenSSL for use. Unlike in earlier versions of OpenSSL (prior to
 | 
						|
1.1.0) no explicit initialisation steps need to be taken.
 | 
						|
 | 
						|
Similarly when the application exits, the default library context is
 | 
						|
automatically destroyed. No explicit de-initialisation steps need to be taken.
 | 
						|
 | 
						|
See L<OSSL_LIB_CTX(3)> for more information about library contexts.
 | 
						|
See also L<ossl-guide-libcrypto-introduction(7)/ALGORITHM FETCHING>.
 | 
						|
 | 
						|
=head1 PROPERTY QUERY STRINGS
 | 
						|
 | 
						|
In some cases the available providers may mean that more than one implementation
 | 
						|
of any given algorithm might be available. For example the OpenSSL FIPS provider
 | 
						|
supplies alternative implementations of many of the same algorithms that are
 | 
						|
available in the OpenSSL default provider.
 | 
						|
 | 
						|
The process of selecting an algorithm implementation is known as "fetching".
 | 
						|
When OpenSSL fetches an algorithm to use it is possible to specify a "property
 | 
						|
query string" to guide the selection process. For example a property query
 | 
						|
string of "provider=default" could be used to force the selection to only
 | 
						|
consider algorithm implementations in the default provider.
 | 
						|
 | 
						|
Property query strings can be specified explicitly as an argument to a function.
 | 
						|
It is also possible to specify a default property query string for the whole
 | 
						|
library context using the L<EVP_set_default_properties(3)> or
 | 
						|
L<EVP_default_properties_enable_fips(3)> functions. Where both
 | 
						|
default properties and function specific properties are specified then they are
 | 
						|
combined. Function specific properties will override default properties where
 | 
						|
there is a conflict.
 | 
						|
 | 
						|
See L<ossl-guide-libcrypto-introduction(7)/ALGORITHM FETCHING> for more
 | 
						|
information about fetching. See L<property(7)> for more information about
 | 
						|
properties.
 | 
						|
 | 
						|
=head1 MULTI-THREADED APPLICATIONS
 | 
						|
 | 
						|
As long as OpenSSL has been built with support for threads (the default case
 | 
						|
on most platforms) then most OpenSSL I<functions> are thread-safe in the sense
 | 
						|
that it is safe to call the same function from multiple threads at the same
 | 
						|
time. However most OpenSSL I<data structures> are not thread-safe. For example
 | 
						|
the L<BIO_write(3)> and L<BIO_read(3)> functions are thread safe. However it
 | 
						|
would not be thread safe to call BIO_write() from one thread while calling
 | 
						|
BIO_read() in another where both functions are passed the same B<BIO> object
 | 
						|
since both of them may attempt to make changes to the same B<BIO> object.
 | 
						|
 | 
						|
There are exceptions to these rules. A small number of functions are not thread
 | 
						|
safe at all. Where this is the case this restriction should be noted in the
 | 
						|
documentation for the function. Similarly some data structures may be partially
 | 
						|
or fully thread safe. For example it is always safe to use an B<OSSL_LIB_CTX> in
 | 
						|
multiple threads.
 | 
						|
 | 
						|
See L<openssl-threads(7)> for a more detailed discussion on OpenSSL threading
 | 
						|
support.
 | 
						|
 | 
						|
=head1 ERROR HANDLING
 | 
						|
 | 
						|
Most OpenSSL functions will provide a return value indicating whether the
 | 
						|
function has been successful or not. It is considered best practice to always
 | 
						|
check the return value from OpenSSL functions (where one is available).
 | 
						|
 | 
						|
Most functions that return a pointer value will return NULL in the event of a
 | 
						|
failure.
 | 
						|
 | 
						|
Most functions that return an integer value will return a positive integer for
 | 
						|
success. Some of these functions will return 0 to indicate failure. Others may
 | 
						|
return 0 or a negative value for failure.
 | 
						|
 | 
						|
Some functions cannot fail and have a B<void> return type. There are also a
 | 
						|
small number of functions that do not conform to the above conventions (e.g.
 | 
						|
they may return 0 to indicate success).
 | 
						|
 | 
						|
Due to the above variations in behaviour it is important to check the
 | 
						|
documentation for each function for information about how to interpret the
 | 
						|
return value for it.
 | 
						|
 | 
						|
It is sometimes necessary to get further information about the cause of a
 | 
						|
failure (e.g. for debugging or logging purposes). Many (but not all) functions
 | 
						|
will add further information about a failure to the OpenSSL error stack. By
 | 
						|
using the error stack you can find out information such as a reason code/string
 | 
						|
for the error as well as the exact file and source line within OpenSSL that
 | 
						|
emitted the error.
 | 
						|
 | 
						|
OpenSSL supplies a set of error handling functions to query the error stack. See
 | 
						|
L<ERR_get_error(3)> for information about the functions available for querying
 | 
						|
error data. Also see L<ERR_print_errors(3)> for information on some simple
 | 
						|
helper functions for printing error data. Finally look at L<ERR_clear_error(3)>
 | 
						|
for how to clear old errors from the error stack.
 | 
						|
 | 
						|
=head1 OPENSSL PROVIDERS
 | 
						|
 | 
						|
OpenSSL comes with a set of providers.
 | 
						|
 | 
						|
The algorithms available in each of these providers may vary due to build time
 | 
						|
configuration options. The L<openssl-list(1)> command can be used to list the
 | 
						|
currently available algorithms.
 | 
						|
 | 
						|
The names of the algorithms shown from L<openssl-list(1)> can be used as an
 | 
						|
algorithm identifier to the appropriate fetching function. Also see the provider
 | 
						|
specific manual pages linked below for further details about using the
 | 
						|
algorithms available in each of the providers.
 | 
						|
 | 
						|
As well as the OpenSSL providers third parties can also implement providers.
 | 
						|
For information on writing a provider see L<provider(7)>.
 | 
						|
 | 
						|
=head2 Default provider
 | 
						|
 | 
						|
The default provider is built-in as part of the F<libcrypto> library and
 | 
						|
contains all of the most commonly used algorithm implementations. Should it be
 | 
						|
needed (if other providers are loaded and offer implementations of the same
 | 
						|
algorithms), the property query string "provider=default" can be used as a
 | 
						|
search criterion for these implementations.  The default provider includes all
 | 
						|
of the functionality in the base provider below.
 | 
						|
 | 
						|
If you don't load any providers at all then the "default" provider will be
 | 
						|
automatically loaded. If you explicitly load any provider then the "default"
 | 
						|
provider would also need to be explicitly loaded if it is required.
 | 
						|
 | 
						|
See L<OSSL_PROVIDER-default(7)>.
 | 
						|
 | 
						|
=head2 Base provider
 | 
						|
 | 
						|
The base provider is built in as part of the F<libcrypto> library and contains
 | 
						|
algorithm implementations for encoding and decoding of OpenSSL keys.
 | 
						|
Should it be needed (if other providers are loaded and offer
 | 
						|
implementations of the same algorithms), the property query string
 | 
						|
"provider=base" can be used as a search criterion for these implementations.
 | 
						|
Some encoding and decoding algorithm implementations are not FIPS algorithm
 | 
						|
implementations in themselves but support algorithms from the FIPS provider and
 | 
						|
are allowed for use in "FIPS mode". The property query string "fips=yes" can be
 | 
						|
used to select such algorithms.
 | 
						|
 | 
						|
See L<OSSL_PROVIDER-base(7)>.
 | 
						|
 | 
						|
=head2 FIPS provider
 | 
						|
 | 
						|
The FIPS provider is a dynamically loadable module, and must therefore
 | 
						|
be loaded explicitly, either in code or through OpenSSL configuration
 | 
						|
(see L<config(5)>). It contains algorithm implementations that have been
 | 
						|
validated according to FIPS standards. Should it be needed (if other
 | 
						|
providers are loaded and offer implementations of the same algorithms), the
 | 
						|
property query string "provider=fips" can be used as a search criterion for
 | 
						|
these implementations. All approved algorithm implementations in the FIPS
 | 
						|
provider can also be selected with the property "fips=yes". The FIPS provider
 | 
						|
may also contain non-approved algorithm implementations and these can be
 | 
						|
selected with the property "fips=no".
 | 
						|
 | 
						|
Typically the L</Base provider> will also need to be loaded because the FIPS
 | 
						|
provider does not support the encoding or decoding of keys.
 | 
						|
 | 
						|
See L<OSSL_PROVIDER-FIPS(7)> and L<fips_module(7)>.
 | 
						|
 | 
						|
=head2 Legacy provider
 | 
						|
 | 
						|
The legacy provider is a dynamically loadable module, and must therefore
 | 
						|
be loaded explicitly, either in code or through OpenSSL configuration
 | 
						|
(see L<config(5)>). It contains algorithm implementations that are considered
 | 
						|
insecure, or are no longer in common use such as MD2 or RC4. Should it be needed
 | 
						|
(if other providers are loaded and offer implementations of the same algorithms),
 | 
						|
the property "provider=legacy" can be used as a search criterion for these
 | 
						|
implementations.
 | 
						|
 | 
						|
See L<OSSL_PROVIDER-legacy(7)>.
 | 
						|
 | 
						|
=head2 Null provider
 | 
						|
 | 
						|
The null provider is built in as part of the F<libcrypto> library. It contains
 | 
						|
no algorithms in it at all. When fetching algorithms the default provider will
 | 
						|
be automatically loaded if no other provider has been explicitly loaded. To
 | 
						|
prevent that from happening you can explicitly load the null provider.
 | 
						|
 | 
						|
You can use this if you create your own library context and want to ensure that
 | 
						|
all API calls have correctly passed the created library context and are not
 | 
						|
accidentally using the default library context. Load the null provider into the
 | 
						|
default library context so that the default library context has no algorithm
 | 
						|
implementations available.
 | 
						|
 | 
						|
See L<OSSL_PROVIDER-null(7)>.
 | 
						|
 | 
						|
=head1 CONFIGURATION
 | 
						|
 | 
						|
By default OpenSSL will load a configuration file when it is first used. This
 | 
						|
will set up various configuration settings within the default library context.
 | 
						|
Applications that create their own library contexts may optionally configure
 | 
						|
them with a config file using the L<OSSL_LIB_CTX_load_config(3)> function.
 | 
						|
 | 
						|
The configuration file can be used to automatically load providers and set up
 | 
						|
default property query strings.
 | 
						|
 | 
						|
For information on the OpenSSL configuration file format see L<config(5)>.
 | 
						|
 | 
						|
=head1 LIBRARY CONVENTIONS
 | 
						|
 | 
						|
Many OpenSSL functions that "get" or "set" a value follow a naming convention
 | 
						|
using the numbers B<0> and B<1>, i.e. "get0", "get1", "set0" and "set1". This
 | 
						|
can also apply to some functions that "add" a value to an existing set, i.e.
 | 
						|
"add0" and "add1".
 | 
						|
 | 
						|
For example the functions:
 | 
						|
 | 
						|
 int X509_CRL_add0_revoked(X509_CRL *crl, X509_REVOKED *rev);
 | 
						|
 int X509_add1_trust_object(X509 *x, const ASN1_OBJECT *obj);
 | 
						|
 | 
						|
In the B<0> version the ownership of the object is passed to (for an add or set)
 | 
						|
or retained by (for a get) the parent object. For example after calling the
 | 
						|
X509_CRL_add0_revoked() function above, ownership of the I<rev> object is passed
 | 
						|
to the I<crl> object. Therefore, after calling this function I<rev> should not
 | 
						|
be freed directly. It will be freed implicitly when I<crl> is freed.
 | 
						|
 | 
						|
In the B<1> version the ownership of the object is not passed to or retained by
 | 
						|
the parent object. Instead a copy or "up ref" of the object is performed. So
 | 
						|
after calling the X509_add1_trust_object() function above the application will
 | 
						|
still be responsible for freeing the I<obj> value where appropriate.
 | 
						|
 | 
						|
Many OpenSSL functions conform to a naming convention of the form
 | 
						|
B<CLASSNAME_func_name()>. In this naming convention the B<CLASSNAME> is the name
 | 
						|
of an OpenSSL data structure (given in capital letters) that the function is
 | 
						|
primarily operating on. The B<func_name> portion of the name is usually in
 | 
						|
lowercase letters and indicates the purpose of the function.
 | 
						|
 | 
						|
=head1 DEMO APPLICATIONS
 | 
						|
 | 
						|
OpenSSL is distributed with a set of demo applications which provide some
 | 
						|
examples of how to use the various API functions. To look at them download the
 | 
						|
OpenSSL source code from the OpenSSL website
 | 
						|
(L<https://www.openssl.org/source/>). Extract the downloaded B<.tar.gz> file for
 | 
						|
the version of OpenSSL that you are using and look at the various files in the
 | 
						|
B<demos> sub-directory.
 | 
						|
 | 
						|
The Makefiles in the subdirectories give instructions on how to build and run
 | 
						|
the demo applications.
 | 
						|
 | 
						|
=head1 FURTHER READING
 | 
						|
 | 
						|
See L<ossl-guide-libcrypto-introduction(7)> for a more detailed introduction to
 | 
						|
using C<libcrypto> and L<ossl-guide-libssl-introduction(7)> for more information
 | 
						|
on C<libssl>.
 | 
						|
 | 
						|
=head1 SEE ALSO
 | 
						|
 | 
						|
L<openssl(1)>, L<ssl(7)>, L<evp(7)>, L<OSSL_LIB_CTX(3)>, L<openssl-threads(7)>,
 | 
						|
L<property(7)>, L<OSSL_PROVIDER-default(7)>, L<OSSL_PROVIDER-base(7)>,
 | 
						|
L<OSSL_PROVIDER-FIPS(7)>, L<OSSL_PROVIDER-legacy(7)>, L<OSSL_PROVIDER-null(7)>,
 | 
						|
L<openssl-glossary(7)>, L<provider(7)>
 | 
						|
 | 
						|
=head1 COPYRIGHT
 | 
						|
 | 
						|
Copyright 2000-2023 The OpenSSL Project Authors. All Rights Reserved.
 | 
						|
 | 
						|
Licensed under the Apache License 2.0 (the "License").  You may not use
 | 
						|
this file except in compliance with the License.  You can obtain a copy
 | 
						|
in the file LICENSE in the source distribution or at
 | 
						|
L<https://www.openssl.org/source/license.html>.
 | 
						|
 | 
						|
=cut
 |