425 lines · plain
1.. SPDX-License-Identifier: GPL-2.02 3=============================================4Asymmetric / Public-key Cryptography Key Type5=============================================6 7.. Contents:8 9 - Overview.10 - Key identification.11 - Accessing asymmetric keys.12 - Signature verification.13 - Asymmetric key subtypes.14 - Instantiation data parsers.15 - Keyring link restrictions.16 17 18Overview19========20 21The "asymmetric" key type is designed to be a container for the keys used in22public-key cryptography, without imposing any particular restrictions on the23form or mechanism of the cryptography or form of the key.24 25The asymmetric key is given a subtype that defines what sort of data is26associated with the key and provides operations to describe and destroy it.27However, no requirement is made that the key data actually be stored in the28key.29 30A completely in-kernel key retention and operation subtype can be defined, but31it would also be possible to provide access to cryptographic hardware (such as32a TPM) that might be used to both retain the relevant key and perform33operations using that key. In such a case, the asymmetric key would then34merely be an interface to the TPM driver.35 36Also provided is the concept of a data parser. Data parsers are responsible37for extracting information from the blobs of data passed to the instantiation38function. The first data parser that recognises the blob gets to set the39subtype of the key and define the operations that can be done on that key.40 41A data parser may interpret the data blob as containing the bits representing a42key, or it may interpret it as a reference to a key held somewhere else in the43system (for example, a TPM).44 45 46Key Identification47==================48 49If a key is added with an empty name, the instantiation data parsers are given50the opportunity to pre-parse a key and to determine the description the key51should be given from the content of the key.52 53This can then be used to refer to the key, either by complete match or by54partial match. The key type may also use other criteria to refer to a key.55 56The asymmetric key type's match function can then perform a wider range of57comparisons than just the straightforward comparison of the description with58the criterion string:59 60 1) If the criterion string is of the form "id:<hexdigits>" then the match61 function will examine a key's fingerprint to see if the hex digits given62 after the "id:" match the tail. For instance::63 64 keyctl search @s asymmetric id:5acc214265 66 will match a key with fingerprint::67 68 1A00 2040 7601 7889 DE11 882C 3823 04AD 5ACC 214269 70 2) If the criterion string is of the form "<subtype>:<hexdigits>" then the71 match will match the ID as in (1), but with the added restriction that72 only keys of the specified subtype (e.g. tpm) will be matched. For73 instance::74 75 keyctl search @s asymmetric tpm:5acc214276 77Looking in /proc/keys, the last 8 hex digits of the key fingerprint are78displayed, along with the subtype::79 80 1a39e171 I----- 1 perm 3f010000 0 0 asymmetric modsign.0: DSA 5acc2142 []81 82 83Accessing Asymmetric Keys84=========================85 86For general access to asymmetric keys from within the kernel, the following87inclusion is required::88 89 #include <crypto/public_key.h>90 91This gives access to functions for dealing with asymmetric / public keys.92Three enums are defined there for representing public-key cryptography93algorithms::94 95 enum pkey_algo96 97digest algorithms used by those::98 99 enum pkey_hash_algo100 101and key identifier representations::102 103 enum pkey_id_type104 105Note that the key type representation types are required because key106identifiers from different standards aren't necessarily compatible. For107instance, PGP generates key identifiers by hashing the key data plus some108PGP-specific metadata, whereas X.509 has arbitrary certificate identifiers.109 110The operations defined upon a key are:111 112 1) Signature verification.113 114Other operations are possible (such as encryption) with the same key data115required for verification, but not currently supported, and others116(eg. decryption and signature generation) require extra key data.117 118 119Signature Verification120----------------------121 122An operation is provided to perform cryptographic signature verification, using123an asymmetric key to provide or to provide access to the public key::124 125 int verify_signature(const struct key *key,126 const struct public_key_signature *sig);127 128The caller must have already obtained the key from some source and can then use129it to check the signature. The caller must have parsed the signature and130transferred the relevant bits to the structure pointed to by sig::131 132 struct public_key_signature {133 u8 *digest;134 u8 digest_size;135 enum pkey_hash_algo pkey_hash_algo : 8;136 u8 nr_mpi;137 union {138 MPI mpi[2];139 ...140 };141 };142 143The algorithm used must be noted in sig->pkey_hash_algo, and all the MPIs that144make up the actual signature must be stored in sig->mpi[] and the count of MPIs145placed in sig->nr_mpi.146 147In addition, the data must have been digested by the caller and the resulting148hash must be pointed to by sig->digest and the size of the hash be placed in149sig->digest_size.150 151The function will return 0 upon success or -EKEYREJECTED if the signature152doesn't match.153 154The function may also return -ENOTSUPP if an unsupported public-key algorithm155or public-key/hash algorithm combination is specified or the key doesn't156support the operation; -EBADMSG or -ERANGE if some of the parameters have weird157data; or -ENOMEM if an allocation can't be performed. -EINVAL can be returned158if the key argument is the wrong type or is incompletely set up.159 160 161Asymmetric Key Subtypes162=======================163 164Asymmetric keys have a subtype that defines the set of operations that can be165performed on that key and that determines what data is attached as the key166payload. The payload format is entirely at the whim of the subtype.167 168The subtype is selected by the key data parser and the parser must initialise169the data required for it. The asymmetric key retains a reference on the170subtype module.171 172The subtype definition structure can be found in::173 174 #include <keys/asymmetric-subtype.h>175 176and looks like the following::177 178 struct asymmetric_key_subtype {179 struct module *owner;180 const char *name;181 182 void (*describe)(const struct key *key, struct seq_file *m);183 void (*destroy)(void *payload);184 int (*query)(const struct kernel_pkey_params *params,185 struct kernel_pkey_query *info);186 int (*eds_op)(struct kernel_pkey_params *params,187 const void *in, void *out);188 int (*verify_signature)(const struct key *key,189 const struct public_key_signature *sig);190 };191 192Asymmetric keys point to this with their payload[asym_subtype] member.193 194The owner and name fields should be set to the owning module and the name of195the subtype. Currently, the name is only used for print statements.196 197There are a number of operations defined by the subtype:198 199 1) describe().200 201 Mandatory. This allows the subtype to display something in /proc/keys202 against the key. For instance the name of the public key algorithm type203 could be displayed. The key type will display the tail of the key204 identity string after this.205 206 2) destroy().207 208 Mandatory. This should free the memory associated with the key. The209 asymmetric key will look after freeing the fingerprint and releasing the210 reference on the subtype module.211 212 3) query().213 214 Mandatory. This is a function for querying the capabilities of a key.215 216 4) eds_op().217 218 Optional. This is the entry point for the encryption, decryption and219 signature creation operations (which are distinguished by the operation ID220 in the parameter struct). The subtype may do anything it likes to221 implement an operation, including offloading to hardware.222 223 5) verify_signature().224 225 Optional. This is the entry point for signature verification. The226 subtype may do anything it likes to implement an operation, including227 offloading to hardware.228 229Instantiation Data Parsers230==========================231 232The asymmetric key type doesn't generally want to store or to deal with a raw233blob of data that holds the key data. It would have to parse it and error234check it each time it wanted to use it. Further, the contents of the blob may235have various checks that can be performed on it (eg. self-signatures, validity236dates) and may contain useful data about the key (identifiers, capabilities).237 238Also, the blob may represent a pointer to some hardware containing the key239rather than the key itself.240 241Examples of blob formats for which parsers could be implemented include:242 243 - OpenPGP packet stream [RFC 4880].244 - X.509 ASN.1 stream.245 - Pointer to TPM key.246 - Pointer to UEFI key.247 - PKCS#8 private key [RFC 5208].248 - PKCS#5 encrypted private key [RFC 2898].249 250During key instantiation each parser in the list is tried until one doesn't251return -EBADMSG.252 253The parser definition structure can be found in::254 255 #include <keys/asymmetric-parser.h>256 257and looks like the following::258 259 struct asymmetric_key_parser {260 struct module *owner;261 const char *name;262 263 int (*parse)(struct key_preparsed_payload *prep);264 };265 266The owner and name fields should be set to the owning module and the name of267the parser.268 269There is currently only a single operation defined by the parser, and it is270mandatory:271 272 1) parse().273 274 This is called to preparse the key from the key creation and update paths.275 In particular, it is called during the key creation _before_ a key is276 allocated, and as such, is permitted to provide the key's description in277 the case that the caller declines to do so.278 279 The caller passes a pointer to the following struct with all of the fields280 cleared, except for data, datalen and quotalen [see281 Documentation/security/keys/core.rst]::282 283 struct key_preparsed_payload {284 char *description;285 void *payload[4];286 const void *data;287 size_t datalen;288 size_t quotalen;289 };290 291 The instantiation data is in a blob pointed to by data and is datalen in292 size. The parse() function is not permitted to change these two values at293 all, and shouldn't change any of the other values _unless_ they are294 recognise the blob format and will not return -EBADMSG to indicate it is295 not theirs.296 297 If the parser is happy with the blob, it should propose a description for298 the key and attach it to ->description, ->payload[asym_subtype] should be299 set to point to the subtype to be used, ->payload[asym_crypto] should be300 set to point to the initialised data for that subtype,301 ->payload[asym_key_ids] should point to one or more hex fingerprints and302 quotalen should be updated to indicate how much quota this key should303 account for.304 305 When clearing up, the data attached to ->payload[asym_key_ids] and306 ->description will be kfree()'d and the data attached to307 ->payload[asm_crypto] will be passed to the subtype's ->destroy() method308 to be disposed of. A module reference for the subtype pointed to by309 ->payload[asym_subtype] will be put.310 311 312 If the data format is not recognised, -EBADMSG should be returned. If it313 is recognised, but the key cannot for some reason be set up, some other314 negative error code should be returned. On success, 0 should be returned.315 316 The key's fingerprint string may be partially matched upon. For a317 public-key algorithm such as RSA and DSA this will likely be a printable318 hex version of the key's fingerprint.319 320Functions are provided to register and unregister parsers::321 322 int register_asymmetric_key_parser(struct asymmetric_key_parser *parser);323 void unregister_asymmetric_key_parser(struct asymmetric_key_parser *subtype);324 325Parsers may not have the same name. The names are otherwise only used for326displaying in debugging messages.327 328 329Keyring Link Restrictions330=========================331 332Keyrings created from userspace using add_key can be configured to check the333signature of the key being linked. Keys without a valid signature are not334allowed to link.335 336Several restriction methods are available:337 338 1) Restrict using the kernel builtin trusted keyring339 340 - Option string used with KEYCTL_RESTRICT_KEYRING:341 - "builtin_trusted"342 343 The kernel builtin trusted keyring will be searched for the signing key.344 If the builtin trusted keyring is not configured, all links will be345 rejected. The ca_keys kernel parameter also affects which keys are used346 for signature verification.347 348 2) Restrict using the kernel builtin and secondary trusted keyrings349 350 - Option string used with KEYCTL_RESTRICT_KEYRING:351 - "builtin_and_secondary_trusted"352 353 The kernel builtin and secondary trusted keyrings will be searched for the354 signing key. If the secondary trusted keyring is not configured, this355 restriction will behave like the "builtin_trusted" option. The ca_keys356 kernel parameter also affects which keys are used for signature357 verification.358 359 3) Restrict using a separate key or keyring360 361 - Option string used with KEYCTL_RESTRICT_KEYRING:362 - "key_or_keyring:<key or keyring serial number>[:chain]"363 364 Whenever a key link is requested, the link will only succeed if the key365 being linked is signed by one of the designated keys. This key may be366 specified directly by providing a serial number for one asymmetric key, or367 a group of keys may be searched for the signing key by providing the368 serial number for a keyring.369 370 When the "chain" option is provided at the end of the string, the keys371 within the destination keyring will also be searched for signing keys.372 This allows for verification of certificate chains by adding each373 certificate in order (starting closest to the root) to a keyring. For374 instance, one keyring can be populated with links to a set of root375 certificates, with a separate, restricted keyring set up for each376 certificate chain to be validated::377 378 # Create and populate a keyring for root certificates379 root_id=`keyctl add keyring root-certs "" @s`380 keyctl padd asymmetric "" $root_id < root1.cert381 keyctl padd asymmetric "" $root_id < root2.cert382 383 # Create and restrict a keyring for the certificate chain384 chain_id=`keyctl add keyring chain "" @s`385 keyctl restrict_keyring $chain_id asymmetric key_or_keyring:$root_id:chain386 387 # Attempt to add each certificate in the chain, starting with the388 # certificate closest to the root.389 keyctl padd asymmetric "" $chain_id < intermediateA.cert390 keyctl padd asymmetric "" $chain_id < intermediateB.cert391 keyctl padd asymmetric "" $chain_id < end-entity.cert392 393 If the final end-entity certificate is successfully added to the "chain"394 keyring, we can be certain that it has a valid signing chain going back to395 one of the root certificates.396 397 A single keyring can be used to verify a chain of signatures by398 restricting the keyring after linking the root certificate::399 400 # Create a keyring for the certificate chain and add the root401 chain2_id=`keyctl add keyring chain2 "" @s`402 keyctl padd asymmetric "" $chain2_id < root1.cert403 404 # Restrict the keyring that already has root1.cert linked. The cert405 # will remain linked by the keyring.406 keyctl restrict_keyring $chain2_id asymmetric key_or_keyring:0:chain407 408 # Attempt to add each certificate in the chain, starting with the409 # certificate closest to the root.410 keyctl padd asymmetric "" $chain2_id < intermediateA.cert411 keyctl padd asymmetric "" $chain2_id < intermediateB.cert412 keyctl padd asymmetric "" $chain2_id < end-entity.cert413 414 If the final end-entity certificate is successfully added to the "chain2"415 keyring, we can be certain that there is a valid signing chain going back416 to the root certificate that was added before the keyring was restricted.417 418 419In all of these cases, if the signing key is found the signature of the key to420be linked will be verified using the signing key. The requested key is added421to the keyring only if the signature is successfully verified. -ENOKEY is422returned if the parent certificate could not be found, or -EKEYREJECTED is423returned if the signature check fails or the key is blacklisted. Other errors424may be returned if the signature check could not be performed.425