iPXE
Macros | Functions | Variables
rsa.c File Reference

RSA public-key cryptography. More...

#include <stdint.h>
#include <stdlib.h>
#include <stdarg.h>
#include <string.h>
#include <errno.h>
#include <ipxe/asn1.h>
#include <ipxe/crypto.h>
#include <ipxe/bigint.h>
#include <ipxe/random_nz.h>
#include <ipxe/rsa.h>

Go to the source code of this file.

Macros

#define EACCES_VERIFY   __einfo_error ( EINFO_EACCES_VERIFY )
 
#define EINFO_EACCES_VERIFY   __einfo_uniqify ( EINFO_EACCES, 0x01, "RSA signature incorrect" )
 

Functions

 FILE_LICENCE (GPL2_OR_LATER_OR_UBDL)
 
static struct rsa_digestinfo_prefixrsa_find_prefix (struct digest_algorithm *digest)
 Identify RSA prefix. More...
 
static void rsa_free (struct rsa_context *context)
 Free RSA dynamic storage. More...
 
static int rsa_alloc (struct rsa_context *context, size_t modulus_len, size_t exponent_len)
 Allocate RSA dynamic storage. More...
 
static int rsa_parse_integer (struct asn1_cursor *integer, const struct asn1_cursor *raw)
 Parse RSA integer. More...
 
static int rsa_parse_mod_exp (struct asn1_cursor *modulus, struct asn1_cursor *exponent, const struct asn1_cursor *raw)
 Parse RSA modulus and exponent. More...
 
static int rsa_init (void *ctx, const void *key, size_t key_len)
 Initialise RSA cipher. More...
 
static size_t rsa_max_len (void *ctx)
 Calculate RSA maximum output length. More...
 
static void rsa_cipher (struct rsa_context *context, const void *in, void *out)
 Perform RSA cipher operation. More...
 
static int rsa_encrypt (void *ctx, const void *plaintext, size_t plaintext_len, void *ciphertext)
 Encrypt using RSA. More...
 
static int rsa_decrypt (void *ctx, const void *ciphertext, size_t ciphertext_len, void *plaintext)
 Decrypt using RSA. More...
 
static int rsa_encode_digest (struct rsa_context *context, struct digest_algorithm *digest, const void *value, void *encoded)
 Encode RSA digest. More...
 
static int rsa_sign (void *ctx, struct digest_algorithm *digest, const void *value, void *signature)
 Sign digest value using RSA. More...
 
static int rsa_verify (void *ctx, struct digest_algorithm *digest, const void *value, const void *signature, size_t signature_len)
 Verify signed digest value using RSA. More...
 
static void rsa_final (void *ctx)
 Finalise RSA cipher. More...
 
static int rsa_match (const void *private_key, size_t private_key_len, const void *public_key, size_t public_key_len)
 Check for matching RSA public/private key pair. More...
 
 REQUIRING_SYMBOL (rsa_algorithm)
 
 REQUIRE_OBJECT (config_crypto)
 

Variables

struct pubkey_algorithm rsa_algorithm
 RSA public-key algorithm. More...
 

Detailed Description

RSA public-key cryptography.

RSA is documented in RFC 3447.

Definition in file rsa.c.

Macro Definition Documentation

◆ EACCES_VERIFY

#define EACCES_VERIFY   __einfo_error ( EINFO_EACCES_VERIFY )

Definition at line 45 of file rsa.c.

◆ EINFO_EACCES_VERIFY

#define EINFO_EACCES_VERIFY   __einfo_uniqify ( EINFO_EACCES, 0x01, "RSA signature incorrect" )

Definition at line 47 of file rsa.c.

Function Documentation

◆ FILE_LICENCE()

FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL  )

◆ rsa_find_prefix()

static struct rsa_digestinfo_prefix* rsa_find_prefix ( struct digest_algorithm digest)
static

Identify RSA prefix.

Parameters
digestDigest algorithm
Return values
prefixRSA prefix, or NULL

Definition at line 57 of file rsa.c.

57  {
59 
61  if ( prefix->digest == digest )
62  return prefix;
63  }
64  return NULL;
65 }
char prefix[4]
Definition: vmconsole.c:53
struct md4_digest digest
Digest of data already processed.
Definition: md4.h:12
#define for_each_table_entry(pointer, table)
Iterate through all entries within a linker table.
Definition: tables.h:358
An RSA digestInfo prefix.
Definition: rsa.h:42
#define NULL
NULL pointer (VOID *)
Definition: Base.h:362
#define RSA_DIGESTINFO_PREFIXES
RSA digestInfo prefix table.
Definition: rsa.h:52

References digest, for_each_table_entry, NULL, prefix, and RSA_DIGESTINFO_PREFIXES.

Referenced by rsa_encode_digest().

◆ rsa_free()

static void rsa_free ( struct rsa_context context)
static

Free RSA dynamic storage.

Parameters
contextRSA context

Definition at line 72 of file rsa.c.

72  {
73 
74  free ( context->dynamic );
75  context->dynamic = NULL;
76 }
void * dynamic
Allocated memory.
Definition: rsa.h:61
static void(* free)(struct refcnt *refcnt))
Definition: refcnt.h:54
#define NULL
NULL pointer (VOID *)
Definition: Base.h:362

References rsa_context::dynamic, free, and NULL.

Referenced by rsa_alloc(), rsa_final(), and rsa_init().

◆ rsa_alloc()

static int rsa_alloc ( struct rsa_context context,
size_t  modulus_len,
size_t  exponent_len 
)
static

Allocate RSA dynamic storage.

Parameters
contextRSA context
modulus_lenModulus length
exponent_lenExponent length
Return values
rcReturn status code

Definition at line 86 of file rsa.c.

87  {
88  unsigned int size = bigint_required_size ( modulus_len );
89  unsigned int exponent_size = bigint_required_size ( exponent_len );
90  bigint_t ( size ) *modulus;
91  bigint_t ( exponent_size ) *exponent;
92  size_t tmp_len = bigint_mod_exp_tmp_len ( modulus, exponent );
93  struct {
94  bigint_t ( size ) modulus;
95  bigint_t ( exponent_size ) exponent;
96  bigint_t ( size ) input;
97  bigint_t ( size ) output;
99  } __attribute__ (( packed )) *dynamic;
100 
101  /* Free any existing dynamic storage */
102  rsa_free ( context );
103 
104  /* Allocate dynamic storage */
105  dynamic = malloc ( sizeof ( *dynamic ) );
106  if ( ! dynamic )
107  return -ENOMEM;
108 
109  /* Assign dynamic storage */
110  context->dynamic = dynamic;
111  context->modulus0 = &dynamic->modulus.element[0];
112  context->size = size;
113  context->max_len = modulus_len;
114  context->exponent0 = &dynamic->exponent.element[0];
115  context->exponent_size = exponent_size;
116  context->input0 = &dynamic->input.element[0];
117  context->output0 = &dynamic->output.element[0];
118  context->tmp = &dynamic->tmp;
119 
120  return 0;
121 }
#define __attribute__(x)
Definition: compiler.h:10
void * tmp
Temporary working space for modular exponentiation.
Definition: rsa.h:77
bigint_element_t * output0
Output buffer.
Definition: rsa.h:75
return tmp_len
Definition: entropy.h:241
unsigned int exponent_size
Exponent size.
Definition: rsa.h:71
Definition: bnxt_hsi.h:68
bigint_element_t * modulus0
Modulus.
Definition: rsa.h:63
#define ENOMEM
Not enough space.
Definition: errno.h:534
#define bigint_mod_exp_tmp_len(modulus, exponent)
Calculate temporary working space required for moduluar exponentiation.
Definition: bigint.h:248
unsigned int size
Modulus size.
Definition: rsa.h:65
size_t max_len
Modulus length.
Definition: rsa.h:67
void * dynamic
Allocated memory.
Definition: rsa.h:61
bigint_element_t * input0
Input buffer.
Definition: rsa.h:73
#define bigint_t(size)
Define a big-integer type.
Definition: bigint.h:17
static void rsa_free(struct rsa_context *context)
Free RSA dynamic storage.
Definition: rsa.c:72
#define bigint_required_size(len)
Determine number of elements required for a big-integer type.
Definition: bigint.h:28
uint8_t * tmp
Definition: entropy.h:156
unsigned char uint8_t
Definition: stdint.h:10
void * malloc(size_t size)
Allocate memory.
Definition: malloc.c:583
bigint_element_t * exponent0
Exponent.
Definition: rsa.h:69
uint8_t size
Entry size (in 32-bit words)
Definition: ena.h:16

References __attribute__, bigint_mod_exp_tmp_len, bigint_required_size, bigint_t, rsa_context::dynamic, ENOMEM, rsa_context::exponent0, rsa_context::exponent_size, rsa_context::input0, malloc(), rsa_context::max_len, rsa_context::modulus0, rsa_context::output0, rsa_free(), size, rsa_context::size, rsa_context::tmp, tmp, and tmp_len.

Referenced by rsa_init().

◆ rsa_parse_integer()

static int rsa_parse_integer ( struct asn1_cursor integer,
const struct asn1_cursor raw 
)
static

Parse RSA integer.

Parameters
integerInteger to fill in
rawASN.1 cursor
Return values
rcReturn status code

Definition at line 130 of file rsa.c.

131  {
132 
133  /* Enter integer */
134  memcpy ( integer, raw, sizeof ( *integer ) );
135  asn1_enter ( integer, ASN1_INTEGER );
136 
137  /* Skip initial sign byte if applicable */
138  if ( ( integer->len > 1 ) &&
139  ( *( ( uint8_t * ) integer->data ) == 0x00 ) ) {
140  integer->data++;
141  integer->len--;
142  }
143 
144  /* Fail if cursor or integer are invalid */
145  if ( ! integer->len )
146  return -EINVAL;
147 
148  return 0;
149 }
#define EINVAL
Invalid argument.
Definition: errno.h:428
int asn1_enter(struct asn1_cursor *cursor, unsigned int type)
Enter ASN.1 object.
Definition: asn1.c:160
const void * data
Start of data.
Definition: asn1.h:21
size_t len
Length of data.
Definition: asn1.h:23
void * memcpy(void *dest, const void *src, size_t len) __nonnull
unsigned char uint8_t
Definition: stdint.h:10
#define ASN1_INTEGER
ASN.1 integer.
Definition: asn1.h:61
__be32 raw[7]
Definition: CIB_PRM.h:28

References asn1_enter(), ASN1_INTEGER, asn1_cursor::data, EINVAL, asn1_cursor::len, memcpy(), and raw.

Referenced by rsa_parse_mod_exp().

◆ rsa_parse_mod_exp()

static int rsa_parse_mod_exp ( struct asn1_cursor modulus,
struct asn1_cursor exponent,
const struct asn1_cursor raw 
)
static

Parse RSA modulus and exponent.

Parameters
modulusModulus to fill in
exponentExponent to fill in
rawASN.1 cursor
Return values
rcReturn status code

Definition at line 159 of file rsa.c.

161  {
162  struct asn1_bit_string bits;
163  struct asn1_cursor cursor;
164  int is_private;
165  int rc;
166 
167  /* Enter subjectPublicKeyInfo/RSAPrivateKey */
168  memcpy ( &cursor, raw, sizeof ( cursor ) );
169  asn1_enter ( &cursor, ASN1_SEQUENCE );
170 
171  /* Determine key format */
172  if ( asn1_type ( &cursor ) == ASN1_INTEGER ) {
173 
174  /* Private key */
175  is_private = 1;
176 
177  /* Skip version */
178  asn1_skip_any ( &cursor );
179 
180  } else {
181 
182  /* Public key */
183  is_private = 0;
184 
185  /* Skip algorithm */
186  asn1_skip ( &cursor, ASN1_SEQUENCE );
187 
188  /* Enter subjectPublicKey */
189  if ( ( rc = asn1_integral_bit_string ( &cursor, &bits ) ) != 0 )
190  return rc;
191  cursor.data = bits.data;
192  cursor.len = bits.len;
193 
194  /* Enter RSAPublicKey */
195  asn1_enter ( &cursor, ASN1_SEQUENCE );
196  }
197 
198  /* Extract modulus */
199  if ( ( rc = rsa_parse_integer ( modulus, &cursor ) ) != 0 )
200  return rc;
201  asn1_skip_any ( &cursor );
202 
203  /* Skip public exponent, if applicable */
204  if ( is_private )
205  asn1_skip ( &cursor, ASN1_INTEGER );
206 
207  /* Extract publicExponent/privateExponent */
208  if ( ( rc = rsa_parse_integer ( exponent, &cursor ) ) != 0 )
209  return rc;
210 
211  return 0;
212 }
struct arbelprm_rc_send_wqe rc
Definition: arbel.h:14
int asn1_enter(struct asn1_cursor *cursor, unsigned int type)
Enter ASN.1 object.
Definition: asn1.c:160
static unsigned int asn1_type(const struct asn1_cursor *cursor)
Extract ASN.1 type.
Definition: asn1.h:360
int asn1_skip_any(struct asn1_cursor *cursor)
Skip ASN.1 object of any type.
Definition: asn1.c:276
void * memcpy(void *dest, const void *src, size_t len) __nonnull
static int rsa_parse_integer(struct asn1_cursor *integer, const struct asn1_cursor *raw)
Parse RSA integer.
Definition: rsa.c:130
int asn1_integral_bit_string(const struct asn1_cursor *cursor, struct asn1_bit_string *bits)
Parse ASN.1 bit string that must be an integral number of bytes.
Definition: asn1.c:414
#define ASN1_SEQUENCE
ASN.1 sequence.
Definition: asn1.h:85
#define ASN1_INTEGER
ASN.1 integer.
Definition: asn1.h:61
static volatile void * bits
Definition: bitops.h:27
int asn1_skip(struct asn1_cursor *cursor, unsigned int type)
Skip ASN.1 object.
Definition: asn1.c:218
__be32 raw[7]
Definition: CIB_PRM.h:28
struct arbelprm_wqe_segment_data_ptr data[ARBEL_MAX_GATHER]
Definition: arbel.h:237
An ASN.1 object cursor.
Definition: asn1.h:19
An ASN.1 bit string.
Definition: asn1.h:334

References asn1_enter(), ASN1_INTEGER, asn1_integral_bit_string(), ASN1_SEQUENCE, asn1_skip(), asn1_skip_any(), asn1_type(), bits, asn1_cursor::data, asn1_cursor::len, memcpy(), raw, rc, and rsa_parse_integer().

Referenced by rsa_init(), and rsa_match().

◆ rsa_init()

static int rsa_init ( void *  ctx,
const void *  key,
size_t  key_len 
)
static

Initialise RSA cipher.

Parameters
ctxRSA context
keyKey
key_lenLength of key
Return values
rcReturn status code

Definition at line 222 of file rsa.c.

222  {
223  struct rsa_context *context = ctx;
224  struct asn1_cursor modulus;
225  struct asn1_cursor exponent;
226  struct asn1_cursor cursor;
227  int rc;
228 
229  /* Initialise context */
230  memset ( context, 0, sizeof ( *context ) );
231 
232  /* Initialise cursor */
233  cursor.data = key;
234  cursor.len = key_len;
235 
236  /* Parse modulus and exponent */
237  if ( ( rc = rsa_parse_mod_exp ( &modulus, &exponent, &cursor ) ) != 0 ){
238  DBGC ( context, "RSA %p invalid modulus/exponent:\n", context );
239  DBGC_HDA ( context, 0, cursor.data, cursor.len );
240  goto err_parse;
241  }
242 
243  DBGC ( context, "RSA %p modulus:\n", context );
244  DBGC_HDA ( context, 0, modulus.data, modulus.len );
245  DBGC ( context, "RSA %p exponent:\n", context );
246  DBGC_HDA ( context, 0, exponent.data, exponent.len );
247 
248  /* Allocate dynamic storage */
249  if ( ( rc = rsa_alloc ( context, modulus.len, exponent.len ) ) != 0 )
250  goto err_alloc;
251 
252  /* Construct big integers */
253  bigint_init ( ( ( bigint_t ( context->size ) * ) context->modulus0 ),
254  modulus.data, modulus.len );
255  bigint_init ( ( ( bigint_t ( context->exponent_size ) * )
256  context->exponent0 ), exponent.data, exponent.len );
257 
258  return 0;
259 
260  rsa_free ( context );
261  err_alloc:
262  err_parse:
263  return rc;
264 }
static int rsa_parse_mod_exp(struct asn1_cursor *modulus, struct asn1_cursor *exponent, const struct asn1_cursor *raw)
Parse RSA modulus and exponent.
Definition: rsa.c:159
struct arbelprm_rc_send_wqe rc
Definition: arbel.h:14
#define DBGC(...)
Definition: compiler.h:505
unsigned int exponent_size
Exponent size.
Definition: rsa.h:71
#define bigint_init(value, data, len)
Initialise big integer.
Definition: bigint.h:48
struct golan_eq_context ctx
Definition: CIB_PRM.h:28
bigint_element_t * modulus0
Modulus.
Definition: rsa.h:63
An RSA context.
Definition: rsa.h:59
#define DBGC_HDA(...)
Definition: compiler.h:506
unsigned int size
Modulus size.
Definition: rsa.h:65
#define bigint_t(size)
Define a big-integer type.
Definition: bigint.h:17
static void rsa_free(struct rsa_context *context)
Free RSA dynamic storage.
Definition: rsa.c:72
bigint_element_t * exponent0
Exponent.
Definition: rsa.h:69
An ASN.1 object cursor.
Definition: asn1.h:19
static int rsa_alloc(struct rsa_context *context, size_t modulus_len, size_t exponent_len)
Allocate RSA dynamic storage.
Definition: rsa.c:86
union @375 key
Sense key.
Definition: scsi.h:18
void * memset(void *dest, int character, size_t len) __nonnull

References bigint_init, bigint_t, ctx, asn1_cursor::data, DBGC, DBGC_HDA, rsa_context::exponent0, rsa_context::exponent_size, key, asn1_cursor::len, memset(), rsa_context::modulus0, rc, rsa_alloc(), rsa_free(), rsa_parse_mod_exp(), and rsa_context::size.

◆ rsa_max_len()

static size_t rsa_max_len ( void *  ctx)
static

Calculate RSA maximum output length.

Parameters
ctxRSA context
Return values
max_lenMaximum output length

Definition at line 272 of file rsa.c.

272  {
273  struct rsa_context *context = ctx;
274 
275  return context->max_len;
276 }
struct golan_eq_context ctx
Definition: CIB_PRM.h:28
An RSA context.
Definition: rsa.h:59
size_t max_len
Modulus length.
Definition: rsa.h:67

References ctx, and rsa_context::max_len.

◆ rsa_cipher()

static void rsa_cipher ( struct rsa_context context,
const void *  in,
void *  out 
)
static

Perform RSA cipher operation.

Parameters
contextRSA context
inInput buffer
outOutput buffer

Definition at line 285 of file rsa.c.

286  {
287  bigint_t ( context->size ) *input = ( ( void * ) context->input0 );
288  bigint_t ( context->size ) *output = ( ( void * ) context->output0 );
289  bigint_t ( context->size ) *modulus = ( ( void * ) context->modulus0 );
290  bigint_t ( context->exponent_size ) *exponent =
291  ( ( void * ) context->exponent0 );
292 
293  /* Initialise big integer */
294  bigint_init ( input, in, context->max_len );
295 
296  /* Perform modular exponentiation */
297  bigint_mod_exp ( input, modulus, exponent, output, context->tmp );
298 
299  /* Copy out result */
300  bigint_done ( output, out, context->max_len );
301 }
void * tmp
Temporary working space for modular exponentiation.
Definition: rsa.h:77
bigint_element_t * output0
Output buffer.
Definition: rsa.h:75
#define bigint_mod_exp(base, modulus, exponent, result, tmp)
Perform modular exponentiation of big integers.
Definition: bigint.h:233
__be32 in[4]
Definition: CIB_PRM.h:35
unsigned int exponent_size
Exponent size.
Definition: rsa.h:71
Definition: bnxt_hsi.h:68
#define bigint_init(value, data, len)
Initialise big integer.
Definition: bigint.h:48
bigint_element_t * modulus0
Modulus.
Definition: rsa.h:63
unsigned int size
Modulus size.
Definition: rsa.h:65
size_t max_len
Modulus length.
Definition: rsa.h:67
bigint_element_t * input0
Input buffer.
Definition: rsa.h:73
__be32 out[4]
Definition: CIB_PRM.h:36
#define bigint_t(size)
Define a big-integer type.
Definition: bigint.h:17
#define bigint_done(value, out, len)
Finalise big integer.
Definition: bigint.h:61
bigint_element_t * exponent0
Exponent.
Definition: rsa.h:69

References bigint_done, bigint_init, bigint_mod_exp, bigint_t, rsa_context::exponent0, rsa_context::exponent_size, in, rsa_context::input0, rsa_context::max_len, rsa_context::modulus0, out, rsa_context::output0, rsa_context::size, and rsa_context::tmp.

Referenced by rsa_decrypt(), rsa_encrypt(), rsa_sign(), and rsa_verify().

◆ rsa_encrypt()

static int rsa_encrypt ( void *  ctx,
const void *  plaintext,
size_t  plaintext_len,
void *  ciphertext 
)
static

Encrypt using RSA.

Parameters
ctxRSA context
plaintextPlaintext
plaintext_lenLength of plaintext
ciphertextCiphertext
Return values
ciphertext_lenLength of ciphertext, or negative error

Definition at line 312 of file rsa.c.

313  {
314  struct rsa_context *context = ctx;
315  void *temp;
316  uint8_t *encoded;
317  size_t max_len = ( context->max_len - 11 );
318  size_t random_nz_len = ( max_len - plaintext_len + 8 );
319  int rc;
320 
321  /* Sanity check */
322  if ( plaintext_len > max_len ) {
323  DBGC ( context, "RSA %p plaintext too long (%zd bytes, max "
324  "%zd)\n", context, plaintext_len, max_len );
325  return -ERANGE;
326  }
327  DBGC ( context, "RSA %p encrypting:\n", context );
328  DBGC_HDA ( context, 0, plaintext, plaintext_len );
329 
330  /* Construct encoded message (using the big integer output
331  * buffer as temporary storage)
332  */
333  temp = context->output0;
334  encoded = temp;
335  encoded[0] = 0x00;
336  encoded[1] = 0x02;
337  if ( ( rc = get_random_nz ( &encoded[2], random_nz_len ) ) != 0 ) {
338  DBGC ( context, "RSA %p could not generate random data: %s\n",
339  context, strerror ( rc ) );
340  return rc;
341  }
342  encoded[ 2 + random_nz_len ] = 0x00;
343  memcpy ( &encoded[ context->max_len - plaintext_len ],
344  plaintext, plaintext_len );
345 
346  /* Encipher the encoded message */
347  rsa_cipher ( context, encoded, ciphertext );
348  DBGC ( context, "RSA %p encrypted:\n", context );
349  DBGC_HDA ( context, 0, ciphertext, context->max_len );
350 
351  return context->max_len;
352 }
struct arbelprm_rc_send_wqe rc
Definition: arbel.h:14
bigint_element_t * output0
Output buffer.
Definition: rsa.h:75
static void size_t size_t max_len
Definition: entropy.h:153
#define DBGC(...)
Definition: compiler.h:505
int get_random_nz(void *data, size_t len)
Get random non-zero bytes.
Definition: random_nz.c:62
static void rsa_cipher(struct rsa_context *context, const void *in, void *out)
Perform RSA cipher operation.
Definition: rsa.c:285
struct golan_eq_context ctx
Definition: CIB_PRM.h:28
void * memcpy(void *dest, const void *src, size_t len) __nonnull
An RSA context.
Definition: rsa.h:59
#define DBGC_HDA(...)
Definition: compiler.h:506
size_t max_len
Modulus length.
Definition: rsa.h:67
#define ERANGE
Result too large.
Definition: errno.h:639
char * strerror(int errno)
Retrieve string representation of error number.
Definition: strerror.c:78
unsigned char uint8_t
Definition: stdint.h:10

References ctx, DBGC, DBGC_HDA, ERANGE, get_random_nz(), rsa_context::max_len, max_len, memcpy(), rsa_context::output0, rc, rsa_cipher(), and strerror().

◆ rsa_decrypt()

static int rsa_decrypt ( void *  ctx,
const void *  ciphertext,
size_t  ciphertext_len,
void *  plaintext 
)
static

Decrypt using RSA.

Parameters
ctxRSA context
ciphertextCiphertext
ciphertext_lenCiphertext length
plaintextPlaintext
Return values
plaintext_lenPlaintext length, or negative error

Definition at line 363 of file rsa.c.

364  {
365  struct rsa_context *context = ctx;
366  void *temp;
367  uint8_t *encoded;
368  uint8_t *end;
369  uint8_t *zero;
370  uint8_t *start;
371  size_t plaintext_len;
372 
373  /* Sanity check */
374  if ( ciphertext_len != context->max_len ) {
375  DBGC ( context, "RSA %p ciphertext incorrect length (%zd "
376  "bytes, should be %zd)\n",
377  context, ciphertext_len, context->max_len );
378  return -ERANGE;
379  }
380  DBGC ( context, "RSA %p decrypting:\n", context );
381  DBGC_HDA ( context, 0, ciphertext, ciphertext_len );
382 
383  /* Decipher the message (using the big integer input buffer as
384  * temporary storage)
385  */
386  temp = context->input0;
387  encoded = temp;
388  rsa_cipher ( context, ciphertext, encoded );
389 
390  /* Parse the message */
391  end = ( encoded + context->max_len );
392  if ( ( encoded[0] != 0x00 ) || ( encoded[1] != 0x02 ) )
393  goto invalid;
394  zero = memchr ( &encoded[2], 0, ( end - &encoded[2] ) );
395  if ( ! zero )
396  goto invalid;
397  start = ( zero + 1 );
398  plaintext_len = ( end - start );
399 
400  /* Copy out message */
401  memcpy ( plaintext, start, plaintext_len );
402  DBGC ( context, "RSA %p decrypted:\n", context );
403  DBGC_HDA ( context, 0, plaintext, plaintext_len );
404 
405  return plaintext_len;
406 
407  invalid:
408  DBGC ( context, "RSA %p invalid decrypted message:\n", context );
409  DBGC_HDA ( context, 0, encoded, context->max_len );
410  return -EINVAL;
411 }
#define EINVAL
Invalid argument.
Definition: errno.h:428
#define DBGC(...)
Definition: compiler.h:505
static void rsa_cipher(struct rsa_context *context, const void *in, void *out)
Perform RSA cipher operation.
Definition: rsa.c:285
uint32_t zero
Must be zero.
Definition: ntlm.h:24
struct golan_eq_context ctx
Definition: CIB_PRM.h:28
void * memchr(const void *src, int character, size_t len)
Find character within a memory region.
Definition: string.c:134
uint32_t start
Starting offset.
Definition: netvsc.h:12
void * memcpy(void *dest, const void *src, size_t len) __nonnull
An RSA context.
Definition: rsa.h:59
#define DBGC_HDA(...)
Definition: compiler.h:506
size_t max_len
Modulus length.
Definition: rsa.h:67
bigint_element_t * input0
Input buffer.
Definition: rsa.h:73
#define ERANGE
Result too large.
Definition: errno.h:639
unsigned char uint8_t
Definition: stdint.h:10
uint32_t end
Ending offset.
Definition: netvsc.h:18

References ctx, DBGC, DBGC_HDA, EINVAL, end, ERANGE, rsa_context::input0, rsa_context::max_len, memchr(), memcpy(), rsa_cipher(), start, and zero.

◆ rsa_encode_digest()

static int rsa_encode_digest ( struct rsa_context context,
struct digest_algorithm digest,
const void *  value,
void *  encoded 
)
static

Encode RSA digest.

Parameters
contextRSA context
digestDigest algorithm
valueDigest value
encodedEncoded digest
Return values
rcReturn status code

Definition at line 422 of file rsa.c.

424  {
426  size_t digest_len = digest->digestsize;
427  uint8_t *temp = encoded;
428  size_t digestinfo_len;
429  size_t max_len;
430  size_t pad_len;
431 
432  /* Identify prefix */
434  if ( ! prefix ) {
435  DBGC ( context, "RSA %p has no prefix for %s\n",
436  context, digest->name );
437  return -ENOTSUP;
438  }
439  digestinfo_len = ( prefix->len + digest_len );
440 
441  /* Sanity check */
442  max_len = ( context->max_len - 11 );
443  if ( digestinfo_len > max_len ) {
444  DBGC ( context, "RSA %p %s digestInfo too long (%zd bytes, max"
445  "%zd)\n",
446  context, digest->name, digestinfo_len, max_len );
447  return -ERANGE;
448  }
449  DBGC ( context, "RSA %p encoding %s digest:\n",
450  context, digest->name );
451  DBGC_HDA ( context, 0, value, digest_len );
452 
453  /* Construct encoded message */
454  *(temp++) = 0x00;
455  *(temp++) = 0x01;
456  pad_len = ( max_len - digestinfo_len + 8 );
457  memset ( temp, 0xff, pad_len );
458  temp += pad_len;
459  *(temp++) = 0x00;
460  memcpy ( temp, prefix->data, prefix->len );
461  temp += prefix->len;
462  memcpy ( temp, value, digest_len );
463  temp += digest_len;
464  assert ( temp == ( encoded + context->max_len ) );
465  DBGC ( context, "RSA %p encoded %s digest:\n", context, digest->name );
466  DBGC_HDA ( context, 0, encoded, context->max_len );
467 
468  return 0;
469 }
static void size_t size_t max_len
Definition: entropy.h:153
#define DBGC(...)
Definition: compiler.h:505
char prefix[4]
Definition: vmconsole.c:53
static struct rsa_digestinfo_prefix * rsa_find_prefix(struct digest_algorithm *digest)
Identify RSA prefix.
Definition: rsa.c:57
struct md4_digest digest
Digest of data already processed.
Definition: md4.h:12
#define ENOTSUP
Operation not supported.
Definition: errno.h:589
void * memcpy(void *dest, const void *src, size_t len) __nonnull
assert((readw(&hdr->flags) &(GTF_reading|GTF_writing))==0)
#define DBGC_HDA(...)
Definition: compiler.h:506
size_t max_len
Modulus length.
Definition: rsa.h:67
pseudo_bit_t value[0x00020]
Definition: arbel.h:13
#define ERANGE
Result too large.
Definition: errno.h:639
An RSA digestInfo prefix.
Definition: rsa.h:42
unsigned char uint8_t
Definition: stdint.h:10
void * memset(void *dest, int character, size_t len) __nonnull

References assert(), DBGC, DBGC_HDA, digest, ENOTSUP, ERANGE, rsa_context::max_len, max_len, memcpy(), memset(), prefix, rsa_find_prefix(), and value.

Referenced by rsa_sign(), and rsa_verify().

◆ rsa_sign()

static int rsa_sign ( void *  ctx,
struct digest_algorithm digest,
const void *  value,
void *  signature 
)
static

Sign digest value using RSA.

Parameters
ctxRSA context
digestDigest algorithm
valueDigest value
signatureSignature
Return values
signature_lenSignature length, or negative error

Definition at line 480 of file rsa.c.

481  {
482  struct rsa_context *context = ctx;
483  void *temp;
484  int rc;
485 
486  DBGC ( context, "RSA %p signing %s digest:\n", context, digest->name );
487  DBGC_HDA ( context, 0, value, digest->digestsize );
488 
489  /* Encode digest (using the big integer output buffer as
490  * temporary storage)
491  */
492  temp = context->output0;
493  if ( ( rc = rsa_encode_digest ( context, digest, value, temp ) ) != 0 )
494  return rc;
495 
496  /* Encipher the encoded digest */
497  rsa_cipher ( context, temp, signature );
498  DBGC ( context, "RSA %p signed %s digest:\n", context, digest->name );
499  DBGC_HDA ( context, 0, signature, context->max_len );
500 
501  return context->max_len;
502 }
struct arbelprm_rc_send_wqe rc
Definition: arbel.h:14
bigint_element_t * output0
Output buffer.
Definition: rsa.h:75
static int rsa_encode_digest(struct rsa_context *context, struct digest_algorithm *digest, const void *value, void *encoded)
Encode RSA digest.
Definition: rsa.c:422
#define DBGC(...)
Definition: compiler.h:505
static void rsa_cipher(struct rsa_context *context, const void *in, void *out)
Perform RSA cipher operation.
Definition: rsa.c:285
struct golan_eq_context ctx
Definition: CIB_PRM.h:28
struct md4_digest digest
Digest of data already processed.
Definition: md4.h:12
u8 signature
Definition: CIB_PRM.h:35
An RSA context.
Definition: rsa.h:59
#define DBGC_HDA(...)
Definition: compiler.h:506
size_t max_len
Modulus length.
Definition: rsa.h:67
pseudo_bit_t value[0x00020]
Definition: arbel.h:13

References ctx, DBGC, DBGC_HDA, digest, rsa_context::max_len, rsa_context::output0, rc, rsa_cipher(), rsa_encode_digest(), signature, and value.

◆ rsa_verify()

static int rsa_verify ( void *  ctx,
struct digest_algorithm digest,
const void *  value,
const void *  signature,
size_t  signature_len 
)
static

Verify signed digest value using RSA.

Parameters
ctxRSA context
digestDigest algorithm
valueDigest value
signatureSignature
signature_lenSignature length
Return values
rcReturn status code

Definition at line 514 of file rsa.c.

516  {
517  struct rsa_context *context = ctx;
518  void *temp;
519  void *expected;
520  void *actual;
521  int rc;
522 
523  /* Sanity check */
524  if ( signature_len != context->max_len ) {
525  DBGC ( context, "RSA %p signature incorrect length (%zd "
526  "bytes, should be %zd)\n",
527  context, signature_len, context->max_len );
528  return -ERANGE;
529  }
530  DBGC ( context, "RSA %p verifying %s digest:\n",
531  context, digest->name );
532  DBGC_HDA ( context, 0, value, digest->digestsize );
533  DBGC_HDA ( context, 0, signature, signature_len );
534 
535  /* Decipher the signature (using the big integer input buffer
536  * as temporary storage)
537  */
538  temp = context->input0;
539  expected = temp;
540  rsa_cipher ( context, signature, expected );
541  DBGC ( context, "RSA %p deciphered signature:\n", context );
542  DBGC_HDA ( context, 0, expected, context->max_len );
543 
544  /* Encode digest (using the big integer output buffer as
545  * temporary storage)
546  */
547  temp = context->output0;
548  actual = temp;
549  if ( ( rc = rsa_encode_digest ( context, digest, value, actual ) ) !=0 )
550  return rc;
551 
552  /* Verify the signature */
553  if ( memcmp ( actual, expected, context->max_len ) != 0 ) {
554  DBGC ( context, "RSA %p signature verification failed\n",
555  context );
556  return -EACCES_VERIFY;
557  }
558 
559  DBGC ( context, "RSA %p signature verified successfully\n", context );
560  return 0;
561 }
struct arbelprm_rc_send_wqe rc
Definition: arbel.h:14
bigint_element_t * output0
Output buffer.
Definition: rsa.h:75
static int rsa_encode_digest(struct rsa_context *context, struct digest_algorithm *digest, const void *value, void *encoded)
Encode RSA digest.
Definition: rsa.c:422
#define DBGC(...)
Definition: compiler.h:505
static void rsa_cipher(struct rsa_context *context, const void *in, void *out)
Perform RSA cipher operation.
Definition: rsa.c:285
struct golan_eq_context ctx
Definition: CIB_PRM.h:28
struct md4_digest digest
Digest of data already processed.
Definition: md4.h:12
#define EACCES_VERIFY
Definition: rsa.c:45
u8 signature
Definition: CIB_PRM.h:35
An RSA context.
Definition: rsa.h:59
#define DBGC_HDA(...)
Definition: compiler.h:506
size_t max_len
Modulus length.
Definition: rsa.h:67
bigint_element_t * input0
Input buffer.
Definition: rsa.h:73
pseudo_bit_t value[0x00020]
Definition: arbel.h:13
#define ERANGE
Result too large.
Definition: errno.h:639
int memcmp(const void *first, const void *second, size_t len)
Compare memory regions.
Definition: string.c:113

References ctx, DBGC, DBGC_HDA, digest, EACCES_VERIFY, ERANGE, rsa_context::input0, rsa_context::max_len, memcmp(), rsa_context::output0, rc, rsa_cipher(), rsa_encode_digest(), signature, and value.

◆ rsa_final()

static void rsa_final ( void *  ctx)
static

Finalise RSA cipher.

Parameters
ctxRSA context

Definition at line 568 of file rsa.c.

568  {
569  struct rsa_context *context = ctx;
570 
571  rsa_free ( context );
572 }
struct golan_eq_context ctx
Definition: CIB_PRM.h:28
An RSA context.
Definition: rsa.h:59
static void rsa_free(struct rsa_context *context)
Free RSA dynamic storage.
Definition: rsa.c:72

References ctx, and rsa_free().

◆ rsa_match()

static int rsa_match ( const void *  private_key,
size_t  private_key_len,
const void *  public_key,
size_t  public_key_len 
)
static

Check for matching RSA public/private key pair.

Parameters
private_keyPrivate key
private_key_lenPrivate key length
public_keyPublic key
public_key_lenPublic key length
Return values
rcReturn status code

Definition at line 583 of file rsa.c.

584  {
585  struct asn1_cursor private_modulus;
586  struct asn1_cursor private_exponent;
587  struct asn1_cursor private_cursor;
588  struct asn1_cursor public_modulus;
589  struct asn1_cursor public_exponent;
590  struct asn1_cursor public_cursor;
591  int rc;
592 
593  /* Initialise cursors */
594  private_cursor.data = private_key;
595  private_cursor.len = private_key_len;
596  public_cursor.data = public_key;
597  public_cursor.len = public_key_len;
598 
599  /* Parse moduli and exponents */
600  if ( ( rc = rsa_parse_mod_exp ( &private_modulus, &private_exponent,
601  &private_cursor ) ) != 0 )
602  return rc;
603  if ( ( rc = rsa_parse_mod_exp ( &public_modulus, &public_exponent,
604  &public_cursor ) ) != 0 )
605  return rc;
606 
607  /* Compare moduli */
608  if ( asn1_compare ( &private_modulus, &public_modulus ) != 0 )
609  return -ENOTTY;
610 
611  return 0;
612 }
static int rsa_parse_mod_exp(struct asn1_cursor *modulus, struct asn1_cursor *exponent, const struct asn1_cursor *raw)
Parse RSA modulus and exponent.
Definition: rsa.c:159
struct arbelprm_rc_send_wqe rc
Definition: arbel.h:14
int asn1_compare(const struct asn1_cursor *cursor1, const struct asn1_cursor *cursor2)
Compare two ASN.1 objects.
Definition: asn1.c:443
size_t len
Length of data.
Definition: asn1.h:23
char private_key_len[]
struct asn1_cursor private_key
Private key.
Definition: privkey.c:67
#define ENOTTY
Inappropriate I/O control operation.
Definition: errno.h:594
struct arbelprm_wqe_segment_data_ptr data[ARBEL_MAX_GATHER]
Definition: arbel.h:237
An ASN.1 object cursor.
Definition: asn1.h:19

References asn1_compare(), asn1_cursor::data, ENOTTY, asn1_cursor::len, private_key, private_key_len, rc, and rsa_parse_mod_exp().

◆ REQUIRING_SYMBOL()

REQUIRING_SYMBOL ( rsa_algorithm  )

◆ REQUIRE_OBJECT()

REQUIRE_OBJECT ( config_crypto  )

Variable Documentation

◆ rsa_algorithm

struct pubkey_algorithm rsa_algorithm
Initial value:
= {
.name = "rsa",
.ctxsize = RSA_CTX_SIZE,
.init = rsa_init,
.max_len = rsa_max_len,
.encrypt = rsa_encrypt,
.decrypt = rsa_decrypt,
.sign = rsa_sign,
.verify = rsa_verify,
.final = rsa_final,
.match = rsa_match,
}
static int rsa_encrypt(void *ctx, const void *plaintext, size_t plaintext_len, void *ciphertext)
Encrypt using RSA.
Definition: rsa.c:312
static int rsa_decrypt(void *ctx, const void *ciphertext, size_t ciphertext_len, void *plaintext)
Decrypt using RSA.
Definition: rsa.c:363
static void rsa_final(void *ctx)
Finalise RSA cipher.
Definition: rsa.c:568
static int rsa_verify(void *ctx, struct digest_algorithm *digest, const void *value, const void *signature, size_t signature_len)
Verify signed digest value using RSA.
Definition: rsa.c:514
#define RSA_CTX_SIZE
RSA context size.
Definition: rsa.h:81
static int rsa_init(void *ctx, const void *key, size_t key_len)
Initialise RSA cipher.
Definition: rsa.c:222
static int rsa_match(const void *private_key, size_t private_key_len, const void *public_key, size_t public_key_len)
Check for matching RSA public/private key pair.
Definition: rsa.c:583
static int rsa_sign(void *ctx, struct digest_algorithm *digest, const void *value, void *signature)
Sign digest value using RSA.
Definition: rsa.c:480
static size_t rsa_max_len(void *ctx)
Calculate RSA maximum output length.
Definition: rsa.c:272

RSA public-key algorithm.

Definition at line 615 of file rsa.c.