path: root/doc/man1/openssl-fipsinstall.pod.in

=pod
{- OpenSSL::safe::output_do_not_edit_headers(); -}

=head1 NAME

openssl-fipsinstall - perform FIPS configuration installation

=head1 SYNOPSIS

B<openssl fipsinstall>
[B<-help>]
[B<-in> I<configfilename>]
[B<-out> I<configfilename>]
[B<-module> I<modulefilename>]
[B<-provider_name> I<providername>]
[B<-section_name> I<sectionname>]
[B<-verify>]
[B<-mac_name> I<macname>]
[B<-macopt> I<nm>:I<v>]
[B<-noout>]
[B<-quiet>]
[B<-pedantic>]
[B<-no_conditional_errors>]
[B<-no_security_checks>]
[B<-ems_check>]
[B<-eddsa_no_verify_digested>]
[B<-no_drbg_truncated_digests>]
[B<-signature_digest_check>]
[B<-hkdf_digest_check>]
[B<-tls13_kdf_digest_check>]
[B<-tls1_prf_digest_check>]
[B<-sshkdf_digest_check>]
[B<-sskdf_digest_check>]
[B<-x963kdf_digest_check>]
[B<-dsa_sign_disabled>]
[B<-no_pbkdf2_lower_bound_check>]
[B<-no_short_mac>]
[B<-tdes_encrypt_disabled>]
[B<-rsa_pkcs15_padding_disabled>]
[B<-rsa_pss_saltlen_check>]
[B<-rsa_sign_x931_disabled>]
[B<-hkdf_key_check>]
[B<-kbkdf_key_check>]
[B<-tls13_kdf_key_check>]
[B<-tls1_prf_key_check>]
[B<-sshkdf_key_check>]
[B<-sskdf_key_check>]
[B<-x963kdf_key_check>]
[B<-ecdh_cofactor_check>]
[B<-self_test_onload>]
[B<-self_test_oninstall>]
[B<-corrupt_desc> I<selftest_description>]
[B<-corrupt_type> I<selftest_type>]
[B<-config> I<parent_config>]

=head1 DESCRIPTION

This command is used to generate a FIPS module configuration file.
This configuration file can be used each time a FIPS module is loaded
in order to pass data to the FIPS module self tests. The FIPS module always
verifies its MAC, but optionally only needs to run the KAT's once,
at installation.

The generated configuration file consists of:

=over 4

=item - A MAC of the FIPS module file.

=item - A test status indicator.

This indicates if the Known Answer Self Tests (KAT's) have successfully run.

=item - A MAC of the status indicator.

=item - A control for conditional self tests errors.

By default if a continuous test (e.g a key pair test) fails then the FIPS module
will enter an error state, and no services or cryptographic algorithms will be
able to be accessed after this point.
The default value of '1' will cause the fips module error state to be entered.
If the value is '0' then the module error state will not be entered.
Regardless of whether the error state is entered or not, the current operation
(e.g. key generation) will return an error. The user is responsible for retrying
the operation if the module error state is not entered.

=item - A control to indicate whether run-time security checks are done.

This indicates if run-time checks related to enforcement of security parameters
such as minimum security strength of keys and approved curve names are used.
The default value of '1' will perform the checks.
If the value is '0' the checks are not performed and FIPS compliance must
be done by procedures documented in the relevant Security Policy.

=back

This file is described in L<fips_config(5)>.

=head1 OPTIONS

=over 4

=item B<-help>

Print a usage message.

=item B<-module> I<filename>

Filename of the FIPS module to perform an integrity check on.
The path provided in the filename is used to load the module when it is
activated, and this overrides the environment variable B<OPENSSL_MODULES>.

=item B<-out> I<configfilename>

Filename to output the configuration data to; the default is standard output.

=item B<-in> I<configfilename>

Input filename to load configuration data from.
Must be used if the B<-verify> option is specified.

=item B<-verify>

Verify that the input configuration file contains the correct information.

=item B<-provider_name> I<providername>

Name of the provider inside the configuration file.
The default value is C<fips>.

=item B<-section_name> I<sectionname>

Name of the section inside the configuration file.
The default value is C<fips_sect>.

=item B<-mac_name> I<name>

Specifies the name of a supported MAC algorithm which will be used.
The MAC mechanisms that are available will depend on the options
used when building OpenSSL.
To see the list of supported MAC's use the command
C<openssl list -mac-algorithms>.  The default is B<HMAC>.

=item B<-macopt> I<nm>:I<v>

Passes options to the MAC algorithm.
A comprehensive list of controls can be found in the EVP_MAC implementation
documentation.
Common control strings used for this command are:

=over 4

=item B<key>:I<string>

Specifies the MAC key as an alphanumeric string (use if the key contains
printable characters only).
The string length must conform to any restrictions of the MAC algorithm.
A key must be specified for every MAC algorithm.
If no key is provided, the default that was specified when OpenSSL was
configured is used.

=item B<hexkey>:I<string>

Specifies the MAC key in hexadecimal form (two hex digits per byte).
The key length must conform to any restrictions of the MAC algorithm.
A key must be specified for every MAC algorithm.
If no key is provided, the default that was specified when OpenSSL was
configured is used.

=item B<digest>:I<string>

Used by HMAC as an alphanumeric string (use if the key contains printable
characters only).
The string length must conform to any restrictions of the MAC algorithm.
To see the list of supported digests, use the command
C<openssl list -digest-commands>.
The default digest is SHA-256.

=back

=item B<-noout>

Disable logging of the self tests.

=item B<-pedantic>

Configure the module so that it is strictly FIPS compliant rather
than being backwards compatible.  This enables conditional errors,
security checks etc.  Note that any previous configuration options will
be overwritten and any subsequent configuration options that violate
FIPS compliance will result in an error.

=item B<-no_conditional_errors>

Configure the module to not enter an error state if a conditional self test
fails as described above.

=item B<-no_security_checks>

Configure the module to not perform run-time security checks as described above.

Enabling the configuration option "no-fips-securitychecks" provides another way to
turn off the check at compile time.

=item B<-ems_check>

Configure the module to enable a run-time Extended Master Secret (EMS) check
when using the TLS1_PRF KDF algorithm. This check is disabled by default.
See RFC 7627 for information related to EMS.

=item B<-eddsa_no_verify_digested>

Configure the module to not allow EdDSA to verify from a message digest
directly.  Instead, EdDSA will digest the message itself.
This check is disabled by default.

=item B<-no_short_mac>

Configure the module to not allow short MAC outputs.
See SP 800-185 8.4.2 and FIPS 140-3 ID C.D for details.

=item B<-no_drbg_truncated_digests>

Configure the module to not allow truncated digests to be used with Hash and
HMAC DRBGs.  See FIPS 140-3 IG D.R for details.

=item B<-signature_digest_check>

Configure the module to enforce signature algorithms to use digests that are
explicitly permitted by the various standards.

=item B<-hkdf_digest_check>

Configure the module to enable a run-time digest check when deriving a key by
HKDF.
See NIST SP 800-56Cr2 for details.

=item B<-tls13_kdf_digest_check>

Configure the module to enable a run-time digest check when deriving a key by
TLS13 KDF.
See RFC 8446 for details.

=item B<-tls1_prf_digest_check>

Configure the module to enable a run-time digest check when deriving a key by
TLS_PRF.
See NIST SP 800-135r1 for details.

=item B<-sshkdf_digest_check>

Configure the module to enable a run-time digest check when deriving a key by
SSHKDF.
See NIST SP 800-135r1 for details.

=item B<-sskdf_digest_check>

Configure the module to enable a run-time digest check when deriving a key by
SSKDF.
See NIST SP 800-56Cr2 for details.

=item B<-x963kdf_digest_check>

Configure the module to enable a run-time digest check when deriving a key by
X963KDF.
See NIST SP 800-131Ar2 for details.

=item B<-dsa_sign_disabled>

Configure the module to not allow DSA signing (DSA signature verification is
still allowed). See FIPS 140-3 IG C.K for details.

=item B<-tdes_encrypt_disabled>

Configure the module to not allow Triple-DES encryption.
Triple-DES decryption is still allowed for legacy purposes.
See SP800-131Ar2 for details.

=item B<-rsa_pkcs15_padding_disabled>

Configure the module to not allow PKCS#1 version 1.5 padding to be used with
RSA for key transport and key agreement.  See NIST's SP 800-131A Revision 2
for details.

=item B<-rsa_pss_saltlen_check>

Configure the module to enable a run-time salt length check when generating or
verifying a RSA-PSS signature.
See FIPS 186-5 5.4 (g) for details.

=item B<-rsa_sign_x931_disabled>

Configure the module to not allow X9.31 padding to be used when signing with
RSA.  See FIPS 140-3 IG C.K for details.

=item B<-hkdf_key_check>

Configure the module to enable a run-time short key-derivation key check when
deriving a key by HKDF.
See NIST SP 800-131Ar2 for details.

=item B<-kbkdf_key_check>

Configure the module to enable a run-time short key-derivation key check when
deriving a key by KBKDF.
See NIST SP 800-131Ar2 for details.

=item B<-tls13_kdf_key_check>

Configure the module to enable a run-time short key-derivation key check when
deriving a key by TLS13 KDF.
See NIST SP 800-131Ar2 for details.

=item B<-tls1_prf_key_check>

Configure the module to enable a run-time short key-derivation key check when
deriving a key by TLS_PRF.
See NIST SP 800-131Ar2 for details.

=item B<-sshkdf_key_check>

Configure the module to enable a run-time short key-derivation key check when
deriving a key by SSHKDF.
See NIST SP 800-131Ar2 for details.

=item B<-sskdf_key_check>

Configure the module to enable a run-time short key-derivation key check when
deriving a key by SSKDF.
See NIST SP 800-131Ar2 for details.

=item B<-x963kdf_key_check>

Configure the module to enable a run-time short key-derivation key check when
deriving a key by X963KDF.
See NIST SP 800-131Ar2 for details.

=item B<-no_pbkdf2_lower_bound_check>

Configure the module to not perform run-time lower bound check for PBKDF2.
See NIST SP 800-132 for details.

=item B<-ecdh_cofactor_check>

Configure the module to enable a run-time check that ECDH uses the EC curves
cofactor value when deriving a key. This only affects the 'B' and 'K' curves.
See SP 800-56A r3 Section 5.7.1.2 for details.

=item B<-self_test_onload>

Do not write the two fields related to the "test status indicator" and
"MAC status indicator" to the output configuration file. Without these fields
the self tests KATS will run each time the module is loaded. This option could be
used for cross compiling, since the self tests need to run at least once on each
target machine. Once the self tests have run on the target machine the user
could possibly then add the 2 fields into the configuration using some other
mechanism.

This is the default.

=item B<-self_test_oninstall>

The converse of B<-self_test_oninstall>.  The two fields related to the
"test status indicator" and "MAC status indicator" are written to the
output configuration file.

=item B<-quiet>

Do not output pass/fail messages. Implies B<-noout>.

=item B<-corrupt_desc> I<selftest_description>,
B<-corrupt_type> I<selftest_type>

The corrupt options can be used to test failure of one or more self tests by
name.
Either option or both may be used to select the tests to corrupt.
Refer to the entries for B<st-desc> and B<st-type> in L<OSSL_PROVIDER-FIPS(7)> for
values that can be used.

=item B<-config> I<parent_config>

Test that a FIPS provider can be loaded from the specified configuration file.
A previous call to this application needs to generate the extra configuration
data that is included by the base C<parent_config> configuration file.
See L<config(5)> for further information on how to set up a provider section.
All other options are ignored if '-config' is used.

=back

=head1 NOTES

Self tests results are logged by default if the options B<-quiet> and B<-noout>
are not specified, or if either of the options B<-corrupt_desc> or
B<-corrupt_type> are used.
If the base configuration file is set up to autoload the fips module, then the
fips module will be loaded and self tested BEFORE the fipsinstall application
has a chance to set up its own self test callback. As a result of this the self
test output and the options B<-corrupt_desc> and B<-corrupt_type> will be ignored.
For normal usage the base configuration file should use the default provider
when generating the fips configuration file.

The B<-self_test_oninstall> option was added and the
B<-self_test_onload> option was made the default in OpenSSL 3.1.

The command and all remaining options were added in OpenSSL 3.0.

=head1 EXAMPLES

Calculate the mac of a FIPS module F<fips.so> and run a FIPS self test
for the module, and save the F<fips.cnf> configuration file:

 openssl fipsinstall -module ./fips.so -out fips.cnf -provider_name fips

Verify that the configuration file F<fips.cnf> contains the correct info:

 openssl fipsinstall -module ./fips.so -in fips.cnf  -provider_name fips -verify

Corrupt any self tests which have the description C<SHA1>:

 openssl fipsinstall -module ./fips.so -out fips.cnf -provider_name fips \
         -corrupt_desc 'SHA1'

Validate that the fips module can be loaded from a base configuration file:

 export OPENSSL_CONF_INCLUDE=<path of configuration files>
 export OPENSSL_MODULES=<provider-path>
 openssl fipsinstall -config' 'default.cnf'


=head1 SEE ALSO

L<config(5)>,
L<fips_config(5)>,
L<OSSL_PROVIDER-FIPS(7)>,
L<EVP_MAC(3)>

=head1 COPYRIGHT

Copyright 2019-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