/****************************************************************/ /* 802.16e AES-CCM Vector Generator */ /* Author: David Johnston */ /* Email : david.johnston@ieee.org */ /* Version 0.1 */ /* */ /* v0.1 First version */ /* CRC32 is questionable, need to verify against .3 */ /****************************************************************/ #include #include /****************************************/ /* Text output options. */ /* Comment out to reduce text output */ /****************************************/ /* Enable any selection of the following for extra diagnostic output #define SHOW_PHASES #define SHOW_HEADER_FIELDS #define SHOW_INIT_BLOCKS #define SHOW_CTR_PRELOAD #define SHOW_DEBUG */ /********************************************/ /* Test Cases */ /* An array of test cases, each containing */ /* an MPDU. */ /* A separate array gives the MPDU length. */ /********************************************/ int num_test_cases; int enc_decn; int test_case_length[100]; int test_case_enc_decn[100]; unsigned long int test_case_pnl[100]; unsigned char keys[100*16]; unsigned char test_cases[16384]; /***************************************/ /********* Table for CRC 32 ************/ /***************************************/ unsigned char lookahead_table[1024] = { 0x00,0x00,0x00,0x00,0x96,0x30,0x07,0x77,0x2c,0x61,0x0e,0xee,0xba,0x51,0x09,0x99, 0x19,0xc4,0x6d,0x07,0x8f,0xf4,0x6a,0x70,0x35,0xa5,0x63,0xe9,0xa3,0x95,0x64,0x9e, 0x32,0x88,0xdb,0x0e,0xa4,0xb8,0xdc,0x79,0x1e,0xe9,0xd5,0xe0,0x88,0xd9,0xd2,0x97, 0x2b,0x4c,0xb6,0x09,0xbd,0x7c,0xb1,0x7e,0x07,0x2d,0xb8,0xe7,0x91,0x1d,0xbf,0x90, 0x64,0x10,0xb7,0x1d,0xf2,0x20,0xb0,0x6a,0x48,0x71,0xb9,0xf3,0xde,0x41,0xbe,0x84, 0x7d,0xd4,0xda,0x1a,0xeb,0xe4,0xdd,0x6d,0x51,0xb5,0xd4,0xf4,0xc7,0x85,0xd3,0x83, 0x56,0x98,0x6c,0x13,0xc0,0xa8,0x6b,0x64,0x7a,0xf9,0x62,0xfd,0xec,0xc9,0x65,0x8a, 0x4f,0x5c,0x01,0x14,0xd9,0x6c,0x06,0x63,0x63,0x3d,0x0f,0xfa,0xf5,0x0d,0x08,0x8d, 0xc8,0x20,0x6e,0x3b,0x5e,0x10,0x69,0x4c,0xe4,0x41,0x60,0xd5,0x72,0x71,0x67,0xa2, 0xd1,0xe4,0x03,0x3c,0x47,0xd4,0x04,0x4b,0xfd,0x85,0x0d,0xd2,0x6b,0xb5,0x0a,0xa5, 0xfa,0xa8,0xb5,0x35,0x6c,0x98,0xb2,0x42,0xd6,0xc9,0xbb,0xdb,0x40,0xf9,0xbc,0xac, 0xe3,0x6c,0xd8,0x32,0x75,0x5c,0xdf,0x45,0xcf,0x0d,0xd6,0xdc,0x59,0x3d,0xd1,0xab, 0xac,0x30,0xd9,0x26,0x3a,0x00,0xde,0x51,0x80,0x51,0xd7,0xc8,0x16,0x61,0xd0,0xbf, 0xb5,0xf4,0xb4,0x21,0x23,0xc4,0xb3,0x56,0x99,0x95,0xba,0xcf,0x0f,0xa5,0xbd,0xb8, 0x9e,0xb8,0x02,0x28,0x08,0x88,0x05,0x5f,0xb2,0xd9,0x0c,0xc6,0x24,0xe9,0x0b,0xb1, 0x87,0x7c,0x6f,0x2f,0x11,0x4c,0x68,0x58,0xab,0x1d,0x61,0xc1,0x3d,0x2d,0x66,0xb6, 0x90,0x41,0xdc,0x76,0x06,0x71,0xdb,0x01,0xbc,0x20,0xd2,0x98,0x2a,0x10,0xd5,0xef, 0x89,0x85,0xb1,0x71,0x1f,0xb5,0xb6,0x06,0xa5,0xe4,0xbf,0x9f,0x33,0xd4,0xb8,0xe8, 0xa2,0xc9,0x07,0x78,0x34,0xf9,0x00,0x0f,0x8e,0xa8,0x09,0x96,0x18,0x98,0x0e,0xe1, 0xbb,0x0d,0x6a,0x7f,0x2d,0x3d,0x6d,0x08,0x97,0x6c,0x64,0x91,0x01,0x5c,0x63,0xe6, 0xf4,0x51,0x6b,0x6b,0x62,0x61,0x6c,0x1c,0xd8,0x30,0x65,0x85,0x4e,0x00,0x62,0xf2, 0xed,0x95,0x06,0x6c,0x7b,0xa5,0x01,0x1b,0xc1,0xf4,0x08,0x82,0x57,0xc4,0x0f,0xf5, 0xc6,0xd9,0xb0,0x65,0x50,0xe9,0xb7,0x12,0xea,0xb8,0xbe,0x8b,0x7c,0x88,0xb9,0xfc, 0xdf,0x1d,0xdd,0x62,0x49,0x2d,0xda,0x15,0xf3,0x7c,0xd3,0x8c,0x65,0x4c,0xd4,0xfb, 0x58,0x61,0xb2,0x4d,0xce,0x51,0xb5,0x3a,0x74,0x00,0xbc,0xa3,0xe2,0x30,0xbb,0xd4, 0x41,0xa5,0xdf,0x4a,0xd7,0x95,0xd8,0x3d,0x6d,0xc4,0xd1,0xa4,0xfb,0xf4,0xd6,0xd3, 0x6a,0xe9,0x69,0x43,0xfc,0xd9,0x6e,0x34,0x46,0x88,0x67,0xad,0xd0,0xb8,0x60,0xda, 0x73,0x2d,0x04,0x44,0xe5,0x1d,0x03,0x33,0x5f,0x4c,0x0a,0xaa,0xc9,0x7c,0x0d,0xdd, 0x3c,0x71,0x05,0x50,0xaa,0x41,0x02,0x27,0x10,0x10,0x0b,0xbe,0x86,0x20,0x0c,0xc9, 0x25,0xb5,0x68,0x57,0xb3,0x85,0x6f,0x20,0x09,0xd4,0x66,0xb9,0x9f,0xe4,0x61,0xce, 0x0e,0xf9,0xde,0x5e,0x98,0xc9,0xd9,0x29,0x22,0x98,0xd0,0xb0,0xb4,0xa8,0xd7,0xc7, 0x17,0x3d,0xb3,0x59,0x81,0x0d,0xb4,0x2e,0x3b,0x5c,0xbd,0xb7,0xad,0x6c,0xba,0xc0, 0x20,0x83,0xb8,0xed,0xb6,0xb3,0xbf,0x9a,0x0c,0xe2,0xb6,0x03,0x9a,0xd2,0xb1,0x74, 0x39,0x47,0xd5,0xea,0xaf,0x77,0xd2,0x9d,0x15,0x26,0xdb,0x04,0x83,0x16,0xdc,0x73, 0x12,0x0b,0x63,0xe3,0x84,0x3b,0x64,0x94,0x3e,0x6a,0x6d,0x0d,0xa8,0x5a,0x6a,0x7a, 0x0b,0xcf,0x0e,0xe4,0x9d,0xff,0x09,0x93,0x27,0xae,0x00,0x0a,0xb1,0x9e,0x07,0x7d, 0x44,0x93,0x0f,0xf0,0xd2,0xa3,0x08,0x87,0x68,0xf2,0x01,0x1e,0xfe,0xc2,0x06,0x69, 0x5d,0x57,0x62,0xf7,0xcb,0x67,0x65,0x80,0x71,0x36,0x6c,0x19,0xe7,0x06,0x6b,0x6e, 0x76,0x1b,0xd4,0xfe,0xe0,0x2b,0xd3,0x89,0x5a,0x7a,0xda,0x10,0xcc,0x4a,0xdd,0x67, 0x6f,0xdf,0xb9,0xf9,0xf9,0xef,0xbe,0x8e,0x43,0xbe,0xb7,0x17,0xd5,0x8e,0xb0,0x60, 0xe8,0xa3,0xd6,0xd6,0x7e,0x93,0xd1,0xa1,0xc4,0xc2,0xd8,0x38,0x52,0xf2,0xdf,0x4f, 0xf1,0x67,0xbb,0xd1,0x67,0x57,0xbc,0xa6,0xdd,0x06,0xb5,0x3f,0x4b,0x36,0xb2,0x48, 0xda,0x2b,0x0d,0xd8,0x4c,0x1b,0x0a,0xaf,0xf6,0x4a,0x03,0x36,0x60,0x7a,0x04,0x41, 0xc3,0xef,0x60,0xdf,0x55,0xdf,0x67,0xa8,0xef,0x8e,0x6e,0x31,0x79,0xbe,0x69,0x46, 0x8c,0xb3,0x61,0xcb,0x1a,0x83,0x66,0xbc,0xa0,0xd2,0x6f,0x25,0x36,0xe2,0x68,0x52, 0x95,0x77,0x0c,0xcc,0x03,0x47,0x0b,0xbb,0xb9,0x16,0x02,0x22,0x2f,0x26,0x05,0x55, 0xbe,0x3b,0xba,0xc5,0x28,0x0b,0xbd,0xb2,0x92,0x5a,0xb4,0x2b,0x04,0x6a,0xb3,0x5c, 0xa7,0xff,0xd7,0xc2,0x31,0xcf,0xd0,0xb5,0x8b,0x9e,0xd9,0x2c,0x1d,0xae,0xde,0x5b, 0xb0,0xc2,0x64,0x9b,0x26,0xf2,0x63,0xec,0x9c,0xa3,0x6a,0x75,0x0a,0x93,0x6d,0x02, 0xa9,0x06,0x09,0x9c,0x3f,0x36,0x0e,0xeb,0x85,0x67,0x07,0x72,0x13,0x57,0x00,0x05, 0x82,0x4a,0xbf,0x95,0x14,0x7a,0xb8,0xe2,0xae,0x2b,0xb1,0x7b,0x38,0x1b,0xb6,0x0c, 0x9b,0x8e,0xd2,0x92,0x0d,0xbe,0xd5,0xe5,0xb7,0xef,0xdc,0x7c,0x21,0xdf,0xdb,0x0b, 0xd4,0xd2,0xd3,0x86,0x42,0xe2,0xd4,0xf1,0xf8,0xb3,0xdd,0x68,0x6e,0x83,0xda,0x1f, 0xcd,0x16,0xbe,0x81,0x5b,0x26,0xb9,0xf6,0xe1,0x77,0xb0,0x6f,0x77,0x47,0xb7,0x18, 0xe6,0x5a,0x08,0x88,0x70,0x6a,0x0f,0xff,0xca,0x3b,0x06,0x66,0x5c,0x0b,0x01,0x11, 0xff,0x9e,0x65,0x8f,0x69,0xae,0x62,0xf8,0xd3,0xff,0x6b,0x61,0x45,0xcf,0x6c,0x16, 0x78,0xe2,0x0a,0xa0,0xee,0xd2,0x0d,0xd7,0x54,0x83,0x04,0x4e,0xc2,0xb3,0x03,0x39, 0x61,0x26,0x67,0xa7,0xf7,0x16,0x60,0xd0,0x4d,0x47,0x69,0x49,0xdb,0x77,0x6e,0x3e, 0x4a,0x6a,0xd1,0xae,0xdc,0x5a,0xd6,0xd9,0x66,0x0b,0xdf,0x40,0xf0,0x3b,0xd8,0x37, 0x53,0xae,0xbc,0xa9,0xc5,0x9e,0xbb,0xde,0x7f,0xcf,0xb2,0x47,0xe9,0xff,0xb5,0x30, 0x1c,0xf2,0xbd,0xbd,0x8a,0xc2,0xba,0xca,0x30,0x93,0xb3,0x53,0xa6,0xa3,0xb4,0x24, 0x05,0x36,0xd0,0xba,0x93,0x06,0xd7,0xcd,0x29,0x57,0xde,0x54,0xbf,0x67,0xd9,0x23, 0x2e,0x7a,0x66,0xb3,0xb8,0x4a,0x61,0xc4,0x02,0x1b,0x68,0x5d,0x94,0x2b,0x6f,0x2a, 0x37,0xbe,0x0b,0xb4,0xa1,0x8e,0x0c,0xc3,0x1b,0xdf,0x05,0x5a,0x8d,0xef,0x02,0x2d }; /***************************************/ /********* Table for CRC 8 ************/ /***************************************/ unsigned char crc8_lookahead_table[256] = { 0x00,0x89,0xc7,0x4e,0xe0,0x69,0x27,0xae,0x70,0xf9,0xb7,0x3e,0x90,0x19,0x57,0xde, 0x38,0xb1,0xff,0x76,0xd8,0x51,0x1f,0x96,0x48,0xc1,0x8f,0x06,0xa8,0x21,0x6f,0xe6, 0x1c,0x95,0xdb,0x52,0xfc,0x75,0x3b,0xb2,0x6c,0xe5,0xab,0x22,0x8c,0x05,0x4b,0xc2, 0x24,0xad,0xe3,0x6a,0xc4,0x4d,0x03,0x8a,0x54,0xdd,0x93,0x1a,0xb4,0x3d,0x73,0xfa, 0x0e,0x87,0xc9,0x40,0xee,0x67,0x29,0xa0,0x7e,0xf7,0xb9,0x30,0x9e,0x17,0x59,0xd0, 0x36,0xbf,0xf1,0x78,0xd6,0x5f,0x11,0x98,0x46,0xcf,0x81,0x08,0xa6,0x2f,0x61,0xe8, 0x12,0x9b,0xd5,0x5c,0xf2,0x7b,0x35,0xbc,0x62,0xeb,0xa5,0x2c,0x82,0x0b,0x45,0xcc, 0x2a,0xa3,0xed,0x64,0xca,0x43,0x0d,0x84,0x5a,0xd3,0x9d,0x14,0xba,0x33,0x7d,0xf4, 0x07,0x8e,0xc0,0x49,0xe7,0x6e,0x20,0xa9,0x77,0xfe,0xb0,0x39,0x97,0x1e,0x50,0xd9, 0x3f,0xb6,0xf8,0x71,0xdf,0x56,0x18,0x91,0x4f,0xc6,0x88,0x01,0xaf,0x26,0x68,0xe1, 0x1b,0x92,0xdc,0x55,0xfb,0x72,0x3c,0xb5,0x6b,0xe2,0xac,0x25,0x8b,0x02,0x4c,0xc5, 0x23,0xaa,0xe4,0x6d,0xc3,0x4a,0x04,0x8d,0x53,0xda,0x94,0x1d,0xb3,0x3a,0x74,0xfd, 0x09,0x80,0xce,0x47,0xe9,0x60,0x2e,0xa7,0x79,0xf0,0xbe,0x37,0x99,0x10,0x5e,0xd7, 0x31,0xb8,0xf6,0x7f,0xd1,0x58,0x16,0x9f,0x41,0xc8,0x86,0x0f,0xa1,0x28,0x66,0xef, 0x15,0x9c,0xd2,0x5b,0xf5,0x7c,0x32,0xbb,0x65,0xec,0xa2,0x2b,0x85,0x0c,0x42,0xcb, 0x2d,0xa4,0xea,0x63,0xcd,0x44,0x0a,0x83,0x5d,0xd4,0x9a,0x13,0xbd,0x34,0x7a,0xf3 }; /*****************************/ /******** SBOX Table *********/ /*****************************/ unsigned char sbox_table[256] = { 0x63, 0x7c, 0x77, 0x7b, 0xf2, 0x6b, 0x6f, 0xc5, 0x30, 0x01, 0x67, 0x2b, 0xfe, 0xd7, 0xab, 0x76, 0xca, 0x82, 0xc9, 0x7d, 0xfa, 0x59, 0x47, 0xf0, 0xad, 0xd4, 0xa2, 0xaf, 0x9c, 0xa4, 0x72, 0xc0, 0xb7, 0xfd, 0x93, 0x26, 0x36, 0x3f, 0xf7, 0xcc, 0x34, 0xa5, 0xe5, 0xf1, 0x71, 0xd8, 0x31, 0x15, 0x04, 0xc7, 0x23, 0xc3, 0x18, 0x96, 0x05, 0x9a, 0x07, 0x12, 0x80, 0xe2, 0xeb, 0x27, 0xb2, 0x75, 0x09, 0x83, 0x2c, 0x1a, 0x1b, 0x6e, 0x5a, 0xa0, 0x52, 0x3b, 0xd6, 0xb3, 0x29, 0xe3, 0x2f, 0x84, 0x53, 0xd1, 0x00, 0xed, 0x20, 0xfc, 0xb1, 0x5b, 0x6a, 0xcb, 0xbe, 0x39, 0x4a, 0x4c, 0x58, 0xcf, 0xd0, 0xef, 0xaa, 0xfb, 0x43, 0x4d, 0x33, 0x85, 0x45, 0xf9, 0x02, 0x7f, 0x50, 0x3c, 0x9f, 0xa8, 0x51, 0xa3, 0x40, 0x8f, 0x92, 0x9d, 0x38, 0xf5, 0xbc, 0xb6, 0xda, 0x21, 0x10, 0xff, 0xf3, 0xd2, 0xcd, 0x0c, 0x13, 0xec, 0x5f, 0x97, 0x44, 0x17, 0xc4, 0xa7, 0x7e, 0x3d, 0x64, 0x5d, 0x19, 0x73, 0x60, 0x81, 0x4f, 0xdc, 0x22, 0x2a, 0x90, 0x88, 0x46, 0xee, 0xb8, 0x14, 0xde, 0x5e, 0x0b, 0xdb, 0xe0, 0x32, 0x3a, 0x0a, 0x49, 0x06, 0x24, 0x5c, 0xc2, 0xd3, 0xac, 0x62, 0x91, 0x95, 0xe4, 0x79, 0xe7, 0xc8, 0x37, 0x6d, 0x8d, 0xd5, 0x4e, 0xa9, 0x6c, 0x56, 0xf4, 0xea, 0x65, 0x7a, 0xae, 0x08, 0xba, 0x78, 0x25, 0x2e, 0x1c, 0xa6, 0xb4, 0xc6, 0xe8, 0xdd, 0x74, 0x1f, 0x4b, 0xbd, 0x8b, 0x8a, 0x70, 0x3e, 0xb5, 0x66, 0x48, 0x03, 0xf6, 0x0e, 0x61, 0x35, 0x57, 0xb9, 0x86, 0xc1, 0x1d, 0x9e, 0xe1, 0xf8, 0x98, 0x11, 0x69, 0xd9, 0x8e, 0x94, 0x9b, 0x1e, 0x87, 0xe9, 0xce, 0x55, 0x28, 0xdf, 0x8c, 0xa1, 0x89, 0x0d, 0xbf, 0xe6, 0x42, 0x68, 0x41, 0x99, 0x2d, 0x0f, 0xb0, 0x54, 0xbb, 0x16 }; FILE *input_file; FILE *output_file; /*****************************/ /**** Function Prototypes ****/ /*****************************/ void bitwise_xor(unsigned char *ina, unsigned char *inb, unsigned char *out); void construct_mic_iv( unsigned char *mic_header1, unsigned char *mpdu, unsigned int payload_length, unsigned char * pn_vector ); void construct_ctr_preload( unsigned char *ctr_preload, unsigned char *mpdu, unsigned char *pn_vector, int c ); void get_mpdu( int test_case, unsigned char *plaintext); int encrypt_mpdu( unsigned char *key, unsigned char *morphed_mpdu, int length, unsigned char *ciphertext, int test_case); void xor_128(unsigned char *a, unsigned char *b, unsigned char *out); void xor_32(unsigned char *a, unsigned char *b, unsigned char *out); unsigned char sbox(unsigned char a); void next_key(unsigned char *key, int round); void byte_sub(unsigned char *in, unsigned char *out); void shift_row(unsigned char *in, unsigned char *out); void mix_column(unsigned char *in, unsigned char *out); void add_round_key( unsigned char *shiftrow_in, unsigned char *mcol_in, unsigned char *block_in, int round, unsigned char *out); void aes128k128d(unsigned char *key, unsigned char *data, unsigned char *ciphertext); void blockprint(unsigned char *str, unsigned char* block) { printf("%s = (lsb) %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x (msb)\n", str, block[0], block[1], block[2], block[3], block[4], block[5], block[6], block[7], block[8], block[9], block[10], block[11], block[12], block[13], block[14], block[15]); } void blockprint_gmh(unsigned char *str, unsigned char *gmh) { printf("%s = %02x %02x %02x %02x %02x %02x\n", str, gmh[0], gmh[1], gmh[2], gmh[3], gmh[4], gmh[5]); } void blockprint_payload(unsigned char *str, unsigned char *payload, int length) { int blocks; int residue; int i; int j; unsigned char *ptr; ptr = payload; blocks = length/16; residue = length % 16; printf("%s",str); if (blocks > 0) { printf ("\t"); for (j=0;j<15;j++) { printf("%02x ",*ptr++); } printf("%02x\n",*ptr++); } for (i=1;i 0) { if (blocks != 0) { printf("\t\t\t"); } else printf("\t"); for(i=0;i<(residue-1);i++) { printf("%02x ",*ptr++); } printf("%02x\n",*ptr++); } } void testvector_print(unsigned char *str, unsigned char* block) { fprintf(input_file,"%s%02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x\n", str, block[0], block[1], block[2], block[3], block[4], block[5], block[6], block[7], block[8], block[9], block[10], block[11], block[12], block[13], block[14], block[15]); } void testvector_print_be(unsigned char *str, unsigned char* block) { printf("%s%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x%02x\n", str, block[15], block[14], block[13], block[12], block[11], block[10], block[9], block[8], block[7], block[6], block[5], block[4], block[3], block[2], block[1], block[0]); } /****************************************/ /* aes128k128d() */ /* Performs a 128 bit AES encrypt with */ /* 128 bit data. */ /****************************************/ void xor_128(unsigned char *a, unsigned char *b, unsigned char *out) { int i; for (i=0;i<16; i++) { out[i] = a[i] ^ b[i]; } } void xor_32(unsigned char *a, unsigned char *b, unsigned char *out) { int i; for (i=0;i<4; i++) { out[i] = a[i] ^ b[i]; } } unsigned char sbox(unsigned char a) { return sbox_table[(int)a]; } void next_key(unsigned char *key, int round) { unsigned char rcon; unsigned char sbox_key[4]; unsigned char rcon_table[12] = { 0x01, 0x02, 0x04, 0x08, 0x10, 0x20, 0x40, 0x80, 0x1b, 0x36, 0x36, 0x36 }; sbox_key[0] = sbox(key[13]); sbox_key[1] = sbox(key[14]); sbox_key[2] = sbox(key[15]); sbox_key[3] = sbox(key[12]); rcon = rcon_table[round]; xor_32(&key[0], sbox_key, &key[0]); key[0] = key[0] ^ rcon; xor_32(&key[4], &key[0], &key[4]); xor_32(&key[8], &key[4], &key[8]); xor_32(&key[12], &key[8], &key[12]); } void byte_sub(unsigned char *in, unsigned char *out) { int i; for (i=0; i< 16; i++) { out[i] = sbox(in[i]); } } void shift_row(unsigned char *in, unsigned char *out) { out[0] = in[0]; out[1] = in[5]; out[2] = in[10]; out[3] = in[15]; out[4] = in[4]; out[5] = in[9]; out[6] = in[14]; out[7] = in[3]; out[8] = in[8]; out[9] = in[13]; out[10] = in[2]; out[11] = in[7]; out[12] = in[12]; out[13] = in[1]; out[14] = in[6]; out[15] = in[11]; } void mix_column(unsigned char *in, unsigned char *out) { int i; unsigned char add1b[4]; unsigned char add1bf7[4]; unsigned char rotl[4]; unsigned char swap_halfs[4]; unsigned char andf7[4]; unsigned char rotr[4]; unsigned char temp[4]; unsigned char tempb[4]; for (i=0 ; i<4; i++) { if ((in[i] & 0x80)== 0x80) add1b[i] = 0x1b; else add1b[i] = 0x00; } swap_halfs[0] = in[2]; /* Swap halfs */ swap_halfs[1] = in[3]; swap_halfs[2] = in[0]; swap_halfs[3] = in[1]; rotl[0] = in[3]; /* Rotate left 8 bits */ rotl[1] = in[0]; rotl[2] = in[1]; rotl[3] = in[2]; andf7[0] = in[0] & 0x7f; andf7[1] = in[1] & 0x7f; andf7[2] = in[2] & 0x7f; andf7[3] = in[3] & 0x7f; for (i = 3; i>0; i--) /* logical shift left 1 bit */ { andf7[i] = andf7[i] << 1; if ((andf7[i-1] & 0x80) == 0x80) { andf7[i] = (andf7[i] | 0x01); } } andf7[0] = andf7[0] << 1; andf7[0] = andf7[0] & 0xfe; xor_32(add1b, andf7, add1bf7); xor_32(in, add1bf7, rotr); temp[0] = rotr[0]; /* Rotate right 8 bits */ rotr[0] = rotr[1]; rotr[1] = rotr[2]; rotr[2] = rotr[3]; rotr[3] = temp[0]; xor_32(add1bf7, rotr, temp); xor_32(swap_halfs, rotl,tempb); xor_32(temp, tempb, out); } void aes128k128d(unsigned char *key, unsigned char *data, unsigned char *ciphertext) { int round; int i; unsigned char intermediatea[16]; unsigned char intermediateb[16]; unsigned char round_key[16]; for(i=0; i<16; i++) round_key[i] = key[i]; for (round = 0; round < 11; round++) { if (round == 0) { xor_128(round_key, data, ciphertext); next_key(round_key, round); } else if (round == 10) { byte_sub(ciphertext, intermediatea); shift_row(intermediatea, intermediateb); xor_128(intermediateb, round_key, ciphertext); } else /* 1 - 9 */ { byte_sub(ciphertext, intermediatea); shift_row(intermediatea, intermediateb); mix_column(&intermediateb[0], &intermediatea[0]); mix_column(&intermediateb[4], &intermediatea[4]); mix_column(&intermediateb[8], &intermediatea[8]); mix_column(&intermediateb[12], &intermediatea[12]); xor_128(intermediatea, round_key, ciphertext); next_key(round_key, round); } } } /****************************************/ /* CRC8() */ /* Calculates the CRC32 of a sequence */ /* of octets. */ /****************************************/ void crc8(unsigned char *crc, unsigned char *data, int length) { int i; int index; unsigned char ch; unsigned char table_entry; *crc = 0x00; for (i=0; i 0) { for (j = 0; j < 16; j++) padded_buffer[j] = 0x00; for (j = 0; j < payload_remainder; j++) { padded_buffer[j] = morphed_mpdu[payload_index++]; } #ifdef SHOW_DEBUG blockprint(" ---- padded mic input ", padded_buffer); #endif bitwise_xor(aes_out, padded_buffer, chain_buffer); #ifdef SHOW_DEBUG blockprint(" ---- final MIC input", chain_buffer); #endif aes128k128d(key, chain_buffer, aes_out); #ifdef SHOW_DEBUG blockprint(" ---- final PT MIC ", aes_out); #endif } /* aes_out contains padded mic, discard most significant */ /* 8 bytes to generate 64 bit MIC */ for (j = 0 ; j < 8; j++) mic[j] = aes_out[j]; /* Insert MIC into payload */ for (j = 0; j < 8; j++) { //printf(" mic putting index %d, value = 0x%02x\n",(payload_index + j), mic[j]); ciphertext[payload_index + j] = mic[j]; } length += 8; payload_length += 8; /**** Encrypt the payload and MIC ****/ payload_index = 10; /* header + PN header */ for (i=0; i< num_blocks; i++) { construct_ctr_preload( ctr_preload, morphed_mpdu, pn_vector, i+1 ); #ifdef SHOW_CTR_PRELOAD printf("---- CTR_PRELOAD(%i) = (lsb) %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x %02x (msb)\n", i+1, ctr_preload[0],ctr_preload[1],ctr_preload[2],ctr_preload[3], ctr_preload[4],ctr_preload[5],ctr_preload[6],ctr_preload[7], ctr_preload[8],ctr_preload[9],ctr_preload[10],ctr_preload[11], ctr_preload[12],ctr_preload[13],ctr_preload[14],ctr_preload[15]); #endif aes128k128d(key, ctr_preload, aes_out); bitwise_xor(aes_out, &ciphertext[payload_index], chain_buffer); #ifdef SHOW_DEBUG blockprint(" ---- Cipherstream = ", aes_out); blockprint(" ---- Plaintext = ", &ciphertext[payload_index]); blockprint(" ---- Ciphertext = ", chain_buffer); #endif for (j=0; j<16;j++) ciphertext[payload_index++] = chain_buffer[j]; } if (payload_remainder > 0) /* If there is a short final block, then pad it,*/ { /* encrypt it and copy the unpadded part back */ construct_ctr_preload( ctr_preload, morphed_mpdu, pn_vector, num_blocks+1 ); for (j = 0; j < 16; j++) padded_buffer[j] = 0x00; for (j = 0; j < payload_remainder; j++) { padded_buffer[j] = ciphertext[payload_index+j]; } aes128k128d(key, ctr_preload, aes_out); #ifdef SHOW_DEBUG blockprint(" ---- final CTR_PRELOAD ", ctr_preload); blockprint(" ---- final cipherstream ", aes_out); blockprint(" ---- final plaintest ", padded_buffer); #endif bitwise_xor(aes_out, padded_buffer, chain_buffer); for (j=0; j 0) { for (j = 0; j < 16; j++) padded_buffer[j] = 0x00; for (j = 0; j < payload_remainder; j++) { padded_buffer[j] = plaintext[payload_index++]; } #ifdef SHOW_DEBUG blockprint(" ---- padded mic input ", padded_buffer); #endif bitwise_xor(aes_out, padded_buffer, chain_buffer); #ifdef SHOW_DEBUG blockprint(" ---- final MIC input", chain_buffer); #endif aes128k128d(key, chain_buffer, aes_out); #ifdef SHOW_DEBUG blockprint(" ---- final PT MIC ", aes_out); #endif } /* aes_out contains padded mic, discard most significant */ /* 8 bytes to generate 64 bit MIC */ for (j = 0 ; j < 8; j++) mic[j] = aes_out[j]; return(length); } /************************************************/ /* get_mpdu() */ /* Copies an mpdu from the test case data */ /************************************************/ void get_mpdu( int test_case, unsigned char *plaintext) { int i; unsigned char *ptr; ptr = test_cases; for (i=0; i< (test_case-1); i++) /* Iterate through test cases */ { ptr = ptr + test_case_length[i]; } for (i=0; i< test_case_length[test_case-1]; i++) { plaintext[i] = *ptr++; } crc8(&plaintext[5],plaintext,5); /* Calculate the HCS */ } /********************************************************/ /* morph_mpdu() */ /* Turns a plaintext mpdu into one ready for encryption */ /* by adjusting the length to include the PN, by */ /* extending the payload and moving the plaintext to */ /* make space for the PN, setting the EC bit on and */ /* recomputing the resulting HCS. */ /********************************************************/ int morph_mpdu ( unsigned char *plaintext_mpdu, int length, unsigned char *morphed_mpdu, int testcase) { /* prepare packet for entry into crypto block */ /* So add a PN, adjust length field for the PN */ /* the crc (if there) and the mic. recomputie */ /* the HCS. */ int i; int morphed_length; int gmh_length; unsigned long int pn; /* copy header */ for (i=0; i<6; i++) morphed_mpdu[i] = plaintext_mpdu[i]; /* Shift payload right by 4 bytes to make room for the PN */ for (i=length-1; i>5;i--) morphed_mpdu[i+4]=plaintext_mpdu[i]; /* insert the PN */ pn = test_case_pnl[testcase-1]; morphed_mpdu[6]=pn % 256; morphed_mpdu[7]=(pn/256) % 256; morphed_mpdu[8]=(pn/(256*256)) % 256; morphed_mpdu[9]=(pn/(256*256*256)) % 256; morphed_length = length+4; /* compute the length field in the GMH */ /* = header + payload + pn + mic + crc if present */ gmh_length = length + 4 + 8; if ((plaintext_mpdu[1]&0x40)==0x40) gmh_length+=4; /* add 4 for crc */ morphed_mpdu[2] = gmh_length % 256; morphed_mpdu[1] = plaintext_mpdu[1] & 0xf8; /* clear lower 3 bits */ morphed_mpdu[1] = morphed_mpdu[1] | (((gmh_length/256) % 256) & 0x7); /* set the encryption bit on */ morphed_mpdu[0] = morphed_mpdu[0] | 0x40; /* compute the HCS */ crc8(&morphed_mpdu[5],morphed_mpdu,5); return (morphed_length); } /***********************************************************/ /* create_test_case() */ /* Generates a test case, of the specified payload length */ /* with the CRC bit, key and pn as specified. */ /* The test_case_num should increment. */ /* The returned pointer should be passed into *index so */ /* it knows where in the test case array the next test */ /* case should be placed. */ /* inc_rndn controls whether the payload is random or */ /* incrementing. */ /***********************************************************/ unsigned int create_test_case( int test_case_num, unsigned int index, int length, int crc, int enc_decn, int inc_rndn ) { int i; test_case_length[test_case_num-1] = length+6; /* add GMH length */ test_case_enc_decn[test_case_num-1] = enc_decn; test_case_pnl[test_case_num-1]=random(); for(i=0;i<16;i++) { keys[(16*(test_case_num-1))+i]=(unsigned char)(random() % 256); } /* Fill the header */ test_cases[index]=0x00; if (crc) { test_cases[index+1] = 0x40; } else { test_cases[index+1] = 0x00; } test_cases[index+2] = (length+6) % 256; test_cases[index+1] |= (((length+6) / 256) % 256) & 0x7; test_cases[index+3] = (unsigned char)random(); test_cases[index+4] = (unsigned char)random(); test_cases[index+5] = 0x00; /* Fill the payload with random or sequential data */ if (inc_rndn) { for (i=0;i