WPA for aironet : WPA mic key

From: matthieu castet
Date: Mon Oct 31 2005 - 11:52:34 EST


Hi,

I near have a functional WPA support for aironet driver. My problem is that the card only handle the tkip_mixing and wep decrypt part, and the driver should compute the 8 bytes MIC. And for an unkwon reason (should be a stupid one), I don't compute the right value.

For testing that, I used some hostap code that decrypt and compute the MIC key for a WPA packet.
The decryption is done correctly, but the MIC key is wrong.

Could some WIFI guru helps me ?


thanks

Matthieu /*
* Host AP crypt: host-based TKIP encryption implementation for Host AP driver
*
* Copyright (c) 2003-2004, Jouni Malinen <jkmaline@xxxxxxxxx>
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License version 2 as
* published by the Free Software Foundation. See README and COPYING for
* more details.
*/


#define __KERNEL__
#include <linux/types.h>
#include <unistd.h>

#define le16_to_cpu(v) v

static const __u32 crc32_table[256] = {
0x00000000L, 0x77073096L, 0xee0e612cL, 0x990951baL, 0x076dc419L,
0x706af48fL, 0xe963a535L, 0x9e6495a3L, 0x0edb8832L, 0x79dcb8a4L,
0xe0d5e91eL, 0x97d2d988L, 0x09b64c2bL, 0x7eb17cbdL, 0xe7b82d07L,
0x90bf1d91L, 0x1db71064L, 0x6ab020f2L, 0xf3b97148L, 0x84be41deL,
0x1adad47dL, 0x6ddde4ebL, 0xf4d4b551L, 0x83d385c7L, 0x136c9856L,
0x646ba8c0L, 0xfd62f97aL, 0x8a65c9ecL, 0x14015c4fL, 0x63066cd9L,
0xfa0f3d63L, 0x8d080df5L, 0x3b6e20c8L, 0x4c69105eL, 0xd56041e4L,
0xa2677172L, 0x3c03e4d1L, 0x4b04d447L, 0xd20d85fdL, 0xa50ab56bL,
0x35b5a8faL, 0x42b2986cL, 0xdbbbc9d6L, 0xacbcf940L, 0x32d86ce3L,
0x45df5c75L, 0xdcd60dcfL, 0xabd13d59L, 0x26d930acL, 0x51de003aL,
0xc8d75180L, 0xbfd06116L, 0x21b4f4b5L, 0x56b3c423L, 0xcfba9599L,
0xb8bda50fL, 0x2802b89eL, 0x5f058808L, 0xc60cd9b2L, 0xb10be924L,
0x2f6f7c87L, 0x58684c11L, 0xc1611dabL, 0xb6662d3dL, 0x76dc4190L,
0x01db7106L, 0x98d220bcL, 0xefd5102aL, 0x71b18589L, 0x06b6b51fL,
0x9fbfe4a5L, 0xe8b8d433L, 0x7807c9a2L, 0x0f00f934L, 0x9609a88eL,
0xe10e9818L, 0x7f6a0dbbL, 0x086d3d2dL, 0x91646c97L, 0xe6635c01L,
0x6b6b51f4L, 0x1c6c6162L, 0x856530d8L, 0xf262004eL, 0x6c0695edL,
0x1b01a57bL, 0x8208f4c1L, 0xf50fc457L, 0x65b0d9c6L, 0x12b7e950L,
0x8bbeb8eaL, 0xfcb9887cL, 0x62dd1ddfL, 0x15da2d49L, 0x8cd37cf3L,
0xfbd44c65L, 0x4db26158L, 0x3ab551ceL, 0xa3bc0074L, 0xd4bb30e2L,
0x4adfa541L, 0x3dd895d7L, 0xa4d1c46dL, 0xd3d6f4fbL, 0x4369e96aL,
0x346ed9fcL, 0xad678846L, 0xda60b8d0L, 0x44042d73L, 0x33031de5L,
0xaa0a4c5fL, 0xdd0d7cc9L, 0x5005713cL, 0x270241aaL, 0xbe0b1010L,
0xc90c2086L, 0x5768b525L, 0x206f85b3L, 0xb966d409L, 0xce61e49fL,
0x5edef90eL, 0x29d9c998L, 0xb0d09822L, 0xc7d7a8b4L, 0x59b33d17L,
0x2eb40d81L, 0xb7bd5c3bL, 0xc0ba6cadL, 0xedb88320L, 0x9abfb3b6L,
0x03b6e20cL, 0x74b1d29aL, 0xead54739L, 0x9dd277afL, 0x04db2615L,
0x73dc1683L, 0xe3630b12L, 0x94643b84L, 0x0d6d6a3eL, 0x7a6a5aa8L,
0xe40ecf0bL, 0x9309ff9dL, 0x0a00ae27L, 0x7d079eb1L, 0xf00f9344L,
0x8708a3d2L, 0x1e01f268L, 0x6906c2feL, 0xf762575dL, 0x806567cbL,
0x196c3671L, 0x6e6b06e7L, 0xfed41b76L, 0x89d32be0L, 0x10da7a5aL,
0x67dd4accL, 0xf9b9df6fL, 0x8ebeeff9L, 0x17b7be43L, 0x60b08ed5L,
0xd6d6a3e8L, 0xa1d1937eL, 0x38d8c2c4L, 0x4fdff252L, 0xd1bb67f1L,
0xa6bc5767L, 0x3fb506ddL, 0x48b2364bL, 0xd80d2bdaL, 0xaf0a1b4cL,
0x36034af6L, 0x41047a60L, 0xdf60efc3L, 0xa867df55L, 0x316e8eefL,
0x4669be79L, 0xcb61b38cL, 0xbc66831aL, 0x256fd2a0L, 0x5268e236L,
0xcc0c7795L, 0xbb0b4703L, 0x220216b9L, 0x5505262fL, 0xc5ba3bbeL,
0xb2bd0b28L, 0x2bb45a92L, 0x5cb36a04L, 0xc2d7ffa7L, 0xb5d0cf31L,
0x2cd99e8bL, 0x5bdeae1dL, 0x9b64c2b0L, 0xec63f226L, 0x756aa39cL,
0x026d930aL, 0x9c0906a9L, 0xeb0e363fL, 0x72076785L, 0x05005713L,
0x95bf4a82L, 0xe2b87a14L, 0x7bb12baeL, 0x0cb61b38L, 0x92d28e9bL,
0xe5d5be0dL, 0x7cdcefb7L, 0x0bdbdf21L, 0x86d3d2d4L, 0xf1d4e242L,
0x68ddb3f8L, 0x1fda836eL, 0x81be16cdL, 0xf6b9265bL, 0x6fb077e1L,
0x18b74777L, 0x88085ae6L, 0xff0f6a70L, 0x66063bcaL, 0x11010b5cL,
0x8f659effL, 0xf862ae69L, 0x616bffd3L, 0x166ccf45L, 0xa00ae278L,
0xd70dd2eeL, 0x4e048354L, 0x3903b3c2L, 0xa7672661L, 0xd06016f7L,
0x4969474dL, 0x3e6e77dbL, 0xaed16a4aL, 0xd9d65adcL, 0x40df0b66L,
0x37d83bf0L, 0xa9bcae53L, 0xdebb9ec5L, 0x47b2cf7fL, 0x30b5ffe9L,
0xbdbdf21cL, 0xcabac28aL, 0x53b39330L, 0x24b4a3a6L, 0xbad03605L,
0xcdd70693L, 0x54de5729L, 0x23d967bfL, 0xb3667a2eL, 0xc4614ab8L,
0x5d681b02L, 0x2a6f2b94L, 0xb40bbe37L, 0xc30c8ea1L, 0x5a05df1bL,
0x2d02ef8dL
};


static inline u16 RotR1(u16 val)
{
return (val >> 1) | (val << 15);
}


static inline u8 Lo8(u16 val)
{
return val & 0xff;
}


static inline u8 Hi8(u16 val)
{
return val >> 8;
}


static inline u16 Lo16(u32 val)
{
return val & 0xffff;
}


static inline u16 Hi16(u32 val)
{
return val >> 16;
}


static inline u16 Mk16(u8 hi, u8 lo)
{
return lo | (((u16) hi) << 8);
}


static inline u16 Mk16_le(u16 *v)
{
return le16_to_cpu(*v);
}


static const u16 Sbox[256] =
{
0xC6A5, 0xF884, 0xEE99, 0xF68D, 0xFF0D, 0xD6BD, 0xDEB1, 0x9154,
0x6050, 0x0203, 0xCEA9, 0x567D, 0xE719, 0xB562, 0x4DE6, 0xEC9A,
0x8F45, 0x1F9D, 0x8940, 0xFA87, 0xEF15, 0xB2EB, 0x8EC9, 0xFB0B,
0x41EC, 0xB367, 0x5FFD, 0x45EA, 0x23BF, 0x53F7, 0xE496, 0x9B5B,
0x75C2, 0xE11C, 0x3DAE, 0x4C6A, 0x6C5A, 0x7E41, 0xF502, 0x834F,
0x685C, 0x51F4, 0xD134, 0xF908, 0xE293, 0xAB73, 0x6253, 0x2A3F,
0x080C, 0x9552, 0x4665, 0x9D5E, 0x3028, 0x37A1, 0x0A0F, 0x2FB5,
0x0E09, 0x2436, 0x1B9B, 0xDF3D, 0xCD26, 0x4E69, 0x7FCD, 0xEA9F,
0x121B, 0x1D9E, 0x5874, 0x342E, 0x362D, 0xDCB2, 0xB4EE, 0x5BFB,
0xA4F6, 0x764D, 0xB761, 0x7DCE, 0x527B, 0xDD3E, 0x5E71, 0x1397,
0xA6F5, 0xB968, 0x0000, 0xC12C, 0x4060, 0xE31F, 0x79C8, 0xB6ED,
0xD4BE, 0x8D46, 0x67D9, 0x724B, 0x94DE, 0x98D4, 0xB0E8, 0x854A,
0xBB6B, 0xC52A, 0x4FE5, 0xED16, 0x86C5, 0x9AD7, 0x6655, 0x1194,
0x8ACF, 0xE910, 0x0406, 0xFE81, 0xA0F0, 0x7844, 0x25BA, 0x4BE3,
0xA2F3, 0x5DFE, 0x80C0, 0x058A, 0x3FAD, 0x21BC, 0x7048, 0xF104,
0x63DF, 0x77C1, 0xAF75, 0x4263, 0x2030, 0xE51A, 0xFD0E, 0xBF6D,
0x814C, 0x1814, 0x2635, 0xC32F, 0xBEE1, 0x35A2, 0x88CC, 0x2E39,
0x9357, 0x55F2, 0xFC82, 0x7A47, 0xC8AC, 0xBAE7, 0x322B, 0xE695,
0xC0A0, 0x1998, 0x9ED1, 0xA37F, 0x4466, 0x547E, 0x3BAB, 0x0B83,
0x8CCA, 0xC729, 0x6BD3, 0x283C, 0xA779, 0xBCE2, 0x161D, 0xAD76,
0xDB3B, 0x6456, 0x744E, 0x141E, 0x92DB, 0x0C0A, 0x486C, 0xB8E4,
0x9F5D, 0xBD6E, 0x43EF, 0xC4A6, 0x39A8, 0x31A4, 0xD337, 0xF28B,
0xD532, 0x8B43, 0x6E59, 0xDAB7, 0x018C, 0xB164, 0x9CD2, 0x49E0,
0xD8B4, 0xACFA, 0xF307, 0xCF25, 0xCAAF, 0xF48E, 0x47E9, 0x1018,
0x6FD5, 0xF088, 0x4A6F, 0x5C72, 0x3824, 0x57F1, 0x73C7, 0x9751,
0xCB23, 0xA17C, 0xE89C, 0x3E21, 0x96DD, 0x61DC, 0x0D86, 0x0F85,
0xE090, 0x7C42, 0x71C4, 0xCCAA, 0x90D8, 0x0605, 0xF701, 0x1C12,
0xC2A3, 0x6A5F, 0xAEF9, 0x69D0, 0x1791, 0x9958, 0x3A27, 0x27B9,
0xD938, 0xEB13, 0x2BB3, 0x2233, 0xD2BB, 0xA970, 0x0789, 0x33A7,
0x2DB6, 0x3C22, 0x1592, 0xC920, 0x8749, 0xAAFF, 0x5078, 0xA57A,
0x038F, 0x59F8, 0x0980, 0x1A17, 0x65DA, 0xD731, 0x84C6, 0xD0B8,
0x82C3, 0x29B0, 0x5A77, 0x1E11, 0x7BCB, 0xA8FC, 0x6DD6, 0x2C3A,
};



static inline u16 _S_(u16 v)
{
u16 t = Sbox[Hi8(v)];
return Sbox[Lo8(v)] ^ ((t << 8) | (t >> 8));
}


#define PHASE1_LOOP_COUNT 8

static void tkip_mixing_phase1(u16 *TTAK, const u8 *TK, const u8 *TA, u32 IV32)
{
int i, j;

/* Initialize the 80-bit TTAK from TSC (IV32) and TA[0..5] */
TTAK[0] = Lo16(IV32);
TTAK[1] = Hi16(IV32);
TTAK[2] = Mk16(TA[1], TA[0]);
TTAK[3] = Mk16(TA[3], TA[2]);
TTAK[4] = Mk16(TA[5], TA[4]);

for (i = 0; i < PHASE1_LOOP_COUNT; i++) {
j = 2 * (i & 1);
TTAK[0] += _S_(TTAK[4] ^ Mk16(TK[1 + j], TK[0 + j]));
TTAK[1] += _S_(TTAK[0] ^ Mk16(TK[5 + j], TK[4 + j]));
TTAK[2] += _S_(TTAK[1] ^ Mk16(TK[9 + j], TK[8 + j]));
TTAK[3] += _S_(TTAK[2] ^ Mk16(TK[13 + j], TK[12 + j]));
TTAK[4] += _S_(TTAK[3] ^ Mk16(TK[1 + j], TK[0 + j])) + i;
}
}


static void tkip_mixing_phase2(u8 *WEPSeed, const u8 *TK, const u16 *TTAK,
u16 IV16)
{
/* Make temporary area overlap WEP seed so that the final copy can be
* avoided on little endian hosts. */
u16 *PPK = (u16 *) &WEPSeed[4];

/* Step 1 - make copy of TTAK and bring in TSC */
PPK[0] = TTAK[0];
PPK[1] = TTAK[1];
PPK[2] = TTAK[2];
PPK[3] = TTAK[3];
PPK[4] = TTAK[4];
PPK[5] = TTAK[4] + IV16;

/* Step 2 - 96-bit bijective mixing using S-box */
PPK[0] += _S_(PPK[5] ^ Mk16_le((u16 *) &TK[0]));
PPK[1] += _S_(PPK[0] ^ Mk16_le((u16 *) &TK[2]));
PPK[2] += _S_(PPK[1] ^ Mk16_le((u16 *) &TK[4]));
PPK[3] += _S_(PPK[2] ^ Mk16_le((u16 *) &TK[6]));
PPK[4] += _S_(PPK[3] ^ Mk16_le((u16 *) &TK[8]));
PPK[5] += _S_(PPK[4] ^ Mk16_le((u16 *) &TK[10]));

PPK[0] += RotR1(PPK[5] ^ Mk16_le((u16 *) &TK[12]));
PPK[1] += RotR1(PPK[0] ^ Mk16_le((u16 *) &TK[14]));
PPK[2] += RotR1(PPK[1]);
PPK[3] += RotR1(PPK[2]);
PPK[4] += RotR1(PPK[3]);
PPK[5] += RotR1(PPK[4]);

/* Step 3 - bring in last of TK bits, assign 24-bit WEP IV value
* WEPSeed[0..2] is transmitted as WEP IV */
WEPSeed[0] = Hi8(IV16);
WEPSeed[1] = (Hi8(IV16) | 0x20) & 0x7F;
WEPSeed[2] = Lo8(IV16);
WEPSeed[3] = Lo8((PPK[5] ^ Mk16_le((u16 *) &TK[0])) >> 1);

#ifdef __BIG_ENDIAN
{
int i;
for (i = 0; i < 6; i++)
PPK[i] = (PPK[i] << 8) | (PPK[i] >> 8);
}
#endif
}

static void hostap_wep_encrypt(u8 *key, u8 *buf, size_t buflen, u8 *icv)
{
u32 i, j, k, crc;
u8 S[256];
u8 *pos;
#define S_SWAP(a,b) do { u8 t = S[a]; S[a] = S[b]; S[b] = t; } while(0)

/* Setup RC4 state */
for (i = 0; i < 256; i++)
S[i] = i;
j = 0;
for (i = 0; i < 256; i++) {
j = (j + S[i] + key[i & 0x0f]) & 0xff;
S_SWAP(i, j);
}

/* Compute CRC32 over unencrypted data and apply RC4 to data */
crc = ~0;
i = j = 0;
pos = buf;
for (k = 0; k < buflen; k++) {
crc = crc32_table[(crc ^ *pos) & 0xff] ^ (crc >> 8);
i = (i + 1) & 0xff;
j = (j + S[i]) & 0xff;
S_SWAP(i, j);
*pos++ ^= S[(S[i] + S[j]) & 0xff];
}
crc = ~crc;

/* Append little-endian CRC32 and encrypt it to produce ICV */
pos = icv;
pos[0] = crc;
pos[1] = crc >> 8;
pos[2] = crc >> 16;
pos[3] = crc >> 24;
for (k = 0; k < 4; k++) {
i = (i + 1) & 0xff;
j = (j + S[i]) & 0xff;
S_SWAP(i, j);
*pos++ ^= S[(S[i] + S[j]) & 0xff];
}
}



static int hostap_wep_decrypt(u8 *key, u8 *buf, size_t plen)
{
u32 i, j, k, crc;
u8 S[256];
u8 *pos, icv[4];

/* Setup RC4 state */
for (i = 0; i < 256; i++)
S[i] = i;
j = 0;
for (i = 0; i < 256; i++) {
j = (j + S[i] + key[i & 0x0f]) & 0xff;
S_SWAP(i, j);
}

/* Apply RC4 to data and compute CRC32 over decrypted data */
pos = buf;
crc = ~0;
i = j = 0;
for (k = 0; k < plen; k++) {
i = (i + 1) & 0xff;
j = (j + S[i]) & 0xff;
S_SWAP(i, j);
*pos ^= S[(S[i] + S[j]) & 0xff];
crc = crc32_table[(crc ^ *pos) & 0xff] ^ (crc >> 8);
pos++;
}
crc = ~crc;

/* Encrypt little-endian CRC32 and verify that it matches with the
* received ICV */
icv[0] = crc;
icv[1] = crc >> 8;
icv[2] = crc >> 16;
icv[3] = crc >> 24;
for (k = 0; k < 4; k++) {
i = (i + 1) & 0xff;
j = (j + S[i]) & 0xff;
S_SWAP(i, j);
if ((icv[k] ^ S[(S[i] + S[j]) & 0xff]) != *pos++) {
/* ICV mismatch - drop frame */
return -1;
}
}

return 0;
}


/*--------------------------------------------------------------------*/

static inline u32 rotl(u32 val, int bits)
{
return (val << bits) | (val >> (32 - bits));
}


static inline u32 rotr(u32 val, int bits)
{
return (val >> bits) | (val << (32 - bits));
}


static inline u32 xswap(u32 val)
{
return ((val & 0x00ff00ff) << 8) | ((val & 0xff00ff00) >> 8);
}


#define michael_block(l, r) \
do { \
r ^= rotl(l, 17); \
l += r; \
r ^= xswap(l); \
l += r; \
r ^= rotl(l, 3); \
l += r; \
r ^= rotr(l, 2); \
l += r; \
} while (0)


static inline u32 get_le32(u8 *p)
{
return p[0] | (p[1] << 8) | (p[2] << 16) | (p[3] << 24);
}


static inline void put_le32(u8 *p, u32 v)
{
p[0] = v;
p[1] = v >> 8;
p[2] = v >> 16;
p[3] = v >> 24;
}


static int michael_mic(void*tkey, u8 *key, u8 *hdr,
u8 *data, int data_len, u8 *mic)
{
u32 l, r;
int i, blocks, last;

l = get_le32(key);
r = get_le32(key + 4);

/* Michael MIC pseudo header: DA, SA, 3 x 0, Priority */
l ^= get_le32(hdr);
michael_block(l, r);
l ^= get_le32(&hdr[4]);
michael_block(l, r);
l ^= get_le32(&hdr[8]);
michael_block(l, r);
l ^= get_le32(&hdr[12]);
michael_block(l, r);

/* 32-bit blocks of data */
blocks = data_len / 4;
last = data_len % 4;
for (i = 0; i < blocks; i++) {
l ^= get_le32(&data[4 * i]);
michael_block(l, r);
}

/* Last block and padding (0x5a, 4..7 x 0) */
switch (last) {
case 0:
l ^= 0x5a;
break;
case 1:
l ^= data[4 * i] | 0x5a00;
break;
case 2:
l ^= data[4 * i] | (data[4 * i + 1] << 8) | 0x5a0000;
break;
case 3:
l ^= data[4 * i] | (data[4 * i + 1] << 8) |
(data[4 * i + 2] << 16) | 0x5a000000;
break;
}
michael_block(l, r);
/* l ^= 0; */
michael_block(l, r);

put_le32(mic, l);
put_le32(mic + 4, r);
return 0;
}

/*--------------------------------------------------------------------*/
u8 key [32] = {
0x23, 0x36, 0x1, 0x6b, 0xfe, 0xb1, 0x14, 0xa8, 0xd7, 0x7f, 0x92, 0xda, 0xee, 0xc4, 0xbb, 0x41
,0xa0, 0x5f, 0x61, 0xae, 0xf9, 0xe0, 0x5, 0x55, /*Tx*/
0xa7, 0xea, 0xe1, 0xb3, 0xc5, 0xbd, 0xa6, 0x65 /*RX*/
};

#if 0
u8 packet [] = {
0x00, 0x20, 0x00, 0x20, 0x00, 0x00, 0x00, 0x00
,0x00, 0x73, 0xd7, 0xe9, 0xec, 0x68, 0xd4, 0xd0, 0x11, 0xac, 0xf9, 0xfa, 0x08, 0xa8, 0xb3, 0x3b
, 0x7f, 0x96, 0xec, 0xdf, 0x08, 0x64, 0x22, 0x1b, 0xa8, 0x89, 0xc5, 0xbc, 0xe5, 0xf6, 0x10, 0x61
, 0x45, 0x3f, 0xae, 0xf3, 0xc9, 0x26, 0x69, 0xf0, 0xc3, 0x69, 0x80, 0x7b, 0xbd, 0x85, 0x91, 0x68
, 0x4e, 0x71, 0x58, 0xb6, 0x1c, 0xf9, 0x34, 0x8e, 0xe3, 0x44, 0xf7, 0xd2, 0x06, 0x12, 0xda, 0x85
, 0x89, 0x82, 0xc2, 0x73, 0xdf, 0xf9, 0x24, 0xa6, 0x85, 0x34, 0x05, 0x9d, 0x52, 0xae, 0xa5, 0xc0
, 0x3b, 0x89, 0x4f, 0xe1, 0x3d, 0x37, 0x69, 0xd9, 0x26, 0x78, 0x82, 0xd4, 0x52, 0x33, 0xb8, 0x8b
, 0x06, 0x8f, 0x6f, 0x45, 0x21, 0xb6, 0xaf, 0x31, 0x56, 0x14, 0x1c, 0xf7, 0xd1, 0xbf, 0x04, 0x0a
, 0xa7, 0xcd, 0x15, 0xfd, 0x19, 0x55, 0xae
};

u8 addr2[6] = {
0x00, 0x0b, 0xbe, 0xfd, 0x44, 0xfc
};

u8 head [] = {
0, 0x70, 0xcb, 0x50, 0xd, 0xe6, /*DA*/
0, 0xb, 0xbe, 0xfd, 0x44, 0xfc, /*SA*/
0, 0, 0, 0};
#else

u8 addr2[6] = {
0x00, 0x07, 0xcb, 0x50, 0x0d, 0xe6
};
u8 packet [] = {
0x00, 0x20, 0x03, 0x20, 0x00, 0x00, 0x00, 0x00
, 0x6d, 0x26, 0xf1, 0x37, 0x05, 0x7f, 0x84, 0xd7, 0xc2, 0x3b, 0x4b, 0x40, 0x5a, 0xa3, 0xb3, 0x87
, 0x6d, 0xca, 0x53, 0x64, 0x8d, 0x8f, 0xe0, 0x2c, 0xb2, 0x67, 0x49, 0xc0, 0x26, 0xe6, 0x1b, 0xe3
, 0x7c, 0x2f, 0x8a, 0x87, 0x6b, 0x8b, 0x4d, 0x43, 0xac, 0x65, 0xcb, 0x8a, 0x4a, 0x8e, 0x26, 0x9c
, 0xe3, 0x17, 0x56, 0xa6, 0x0a, 0xad, 0x42, 0x05, 0x1b, 0x26, 0x69, 0xdd, 0x16, 0x68, 0xd8, 0xc9
, 0x87, 0x98, 0xc4, 0x8a, 0x66, 0x6e, 0xc7, 0xf7, 0x2a, 0xf2, 0x24, 0xf6, 0x89, 0x34, 0x75, 0x8a
, 0xf9, 0x24, 0x1f, 0x18, 0xf6, 0x62, 0x24, 0xad, 0x69, 0x0d, 0xe0, 0x49, 0xa3, 0xbb, 0xbd, 0x96
, 0x09, 0x9b, 0x0a, 0x30, 0x74, 0x12, 0xcc, 0xe9, 0x53, 0x55, 0x01, 0x47, 0xff, 0x15, 0xc1, 0x7e
, 0x58, 0xa7, 0xea, 0x6e, 0xe0, 0xc8, 0x06, 0x4a, 0xf2, 0x4c, 0x83, 0x66, 0x8c, 0xae, 0x81, 0x1a
, 0x0e, 0x84, 0x7b, 0x28, 0x3d, 0xbc, 0xbe, 0x21, 0x44, 0x1e, 0x6c, 0xb2, 0x8e, 0x6c, 0xa8, 0x5f
, 0x23, 0xb1, 0x01, 0x57, 0x4d, 0xa0, 0x13, 0xd9, 0xcc, 0x98, 0xbd, 0x61, 0x40, 0x39, 0x57, 0xb2
, 0xd0, 0xa5, 0xa9, 0x6e, 0x41, 0x09, 0x60, 0x28, 0xf9, 0xbf, 0xf3, 0x27, 0xf2, 0xf6, 0xbc, 0xad
, 0xba, 0x0c, 0x2b, 0x29, 0x01, 0x80, 0xf8, 0x6d, 0xc9, 0x59, 0x99, 0x52, 0x65, 0x76, 0x5d, 0xda
, 0x37, 0xf4, 0xf1, 0xee, 0xbb, 0x43, 0x67, 0x11, 0xa3, 0xa8, 0x21, 0xef, 0x26, 0xc7, 0xe4, 0xca
, 0xd2, 0xe0, 0xe7, 0xc8, 0xfb, 0xb6, 0x8a, 0xa4, 0xc3, 0x2b, 0x0b, 0x9c, 0xca, 0xf9, 0xea, 0x62
, 0xf9, 0x60, 0x43, 0xe9, 0x17, 0x4b, 0x70, 0xa1, 0x19, 0xf4, 0x66, 0x0b, 0xbe, 0xa8, 0xe1, 0x32
, 0x99, 0x34, 0xcc, 0x93, 0xaf, 0x86, 0xf1, 0xec, 0x90, 0x5c, 0x15, 0x75, 0xaf, 0x3b, 0xc9, 0xd3
, 0x15, 0x2f, 0x87, 0x7f, 0x2e, 0x05, 0x93, 0xc5, 0xa5, 0x29, 0x0b, 0x5c, 0x10, 0x81, 0xd1, 0xcc
, 0x85, 0xf7, 0x03, 0xa0, 0xb8, 0x48, 0xc9, 0xdb, 0x88, 0x3a, 0x86, 0xc2, 0x52, 0x9c, 0xc1, 0x3a
, 0xb4, 0x2f, 0xad, 0xb9, 0x1f, 0xcf, 0x35, 0xd7, 0x11, 0x50, 0x68, 0x40, 0x9d, 0xe8, 0x78, 0xfc
, 0x5e, 0x65, 0xa0, 0x27, 0x15, 0xae, 0x20, 0x76, 0x1b, 0x98, 0xca, 0x1f, 0x08, 0x40, 0x48, 0xe1
, 0x30, 0xc8, 0x8f, 0x18, 0x12, 0x1b, 0x2c, 0x31, 0x73, 0x91, 0x6a, 0x3c, 0x44, 0xba, 0x23, 0x41
, 0x40, 0x30, 0xca, 0xbe, 0x13, 0x1d, 0x32, 0xda, 0x40, 0xe2, 0x7f, 0x17, 0xe2, 0xe9, 0x53, 0x47
, 0xae, 0x16, 0xb6, 0x41, 0x26, 0x3f, 0x75, 0x20, 0xd1, 0xdc, 0x86, 0x71, 0xcf, 0x0c, 0x99, 0x74
, 0xf4, 0x2d, 0x20, 0x0b, 0x76, 0x0c, 0x83, 0xe2, 0x8f, 0x6f, 0x7e, 0x46, 0x99, 0x17, 0xc0, 0x50
, 0xc4, 0x52, 0xf7, 0x0b, 0xab, 0x69, 0xf4, 0x67, 0xf8, 0x8b, 0xb0, 0x65, 0x4e, 0x40, 0x4e, 0x79
, 0xa0, 0xd5, 0x0a, 0x5f, 0x14, 0xfa, 0x49, 0x81, 0x7d, 0xa9, 0xb8, 0xbe, 0x0f, 0x91, 0xe2, 0x75
, 0x0c, 0xf8, 0x3b, 0xef, 0x71, 0x58, 0x35, 0x90, 0x8e, 0xbf, 0x0e, 0x28, 0xcd, 0x03, 0x55, 0xe2
, 0x73, 0xfe, 0xf6, 0x63, 0x65, 0x67, 0x57, 0x4f, 0xc6, 0xc0, 0x95, 0xd3, 0x6b, 0xcb, 0x3c, 0x45
, 0x11, 0x41, 0x20, 0xb4, 0xc3, 0xfa, 0x74, 0xf4, 0xd0, 0xf4, 0xaa, 0x13, 0xff, 0x30, 0x09, 0x20
, 0x3a, 0xa5, 0x71, 0xee, 0xf8, 0xcb, 0x9e, 0x27, 0x1f, 0xeb, 0xfd, 0xe9, 0x64, 0xb8, 0xd3, 0xce
, 0x1a, 0x1f, 0x32, 0x4a, 0x5c, 0x58, 0x21, 0x98, 0xa4, 0x67, 0x6d, 0x36, 0x99, 0x20, 0x89, 0x7c
, 0xe9, 0x34, 0x09, 0x46, 0x02, 0x85, 0x40, 0x52, 0x5a, 0xa0, 0xd5, 0x60, 0xe2, 0xcf, 0xfb, 0x4b
, 0xc2, 0xe0, 0x12, 0xde, 0xf5, 0x99, 0xc3, 0xa7, 0xcc, 0x52, 0xdc, 0x25, 0x19, 0x83, 0xfa, 0x42
, 0x2e, 0x77, 0x35, 0x5b, 0xf5, 0x66, 0x92, 0xaa, 0xd1, 0xfb, 0x45, 0xdf, 0xa9, 0xf8, 0x31, 0x50
, 0x50, 0x6a, 0xce, 0xad, 0x00, 0xd6, 0xdb, 0x9b, 0x13, 0x94, 0xc1, 0x72, 0x6c, 0x8a, 0x66, 0xc6
, 0xde, 0x49, 0x88, 0xe5, 0x06, 0x8a, 0x52, 0x32, 0x2f, 0xd1, 0xca, 0xa7, 0x84, 0x6b, 0x06, 0x89
, 0xc5, 0x13, 0x39, 0x0b, 0xbd, 0xa9, 0x34, 0x33, 0x52, 0x41, 0xa4, 0x31, 0x49, 0x76, 0x4f, 0x31
, 0x15, 0xae, 0x17, 0xc2



/*
0x00, 0x20, 0x01, 0x20, 0x00, 0x00, 0x00, 0x00
, 0x01, 0xa3, 0x5c, 0xa8, 0x1d, 0x21, 0x8b, 0x54, 0xf7, 0xfc, 0xd0, 0x4d, 0x23, 0x45, 0xfb, 0x93
, 0x35, 0xaf, 0x3a, 0xe0, 0x39, 0xb8, 0xbc, 0x61, 0x6c, 0x6f, 0xfc, 0x72, 0x78, 0x18, 0x6a, 0xa9
, 0xd3, 0x0b, 0xb1, 0xb9, 0x87, 0x82, 0xd5, 0x55, 0xf9, 0x6d, 0x43, 0xba, 0x00, 0x78, 0x0c, 0x97
, 0x1d, 0x25, 0x76, 0x35, 0xee, 0xa0, 0x39, 0x4c, 0x12, 0x85, 0x3f, 0x17, 0x14, 0x08, 0x08, 0xe3
, 0xe5, 0x7d, 0xf6, 0xc9, 0xfa, 0x28, 0x34, 0x9a, 0xec, 0x52, 0x99, 0xbc, 0x42, 0x21, 0x63, 0xcd
, 0x44, 0x9b, 0x2b, 0x4d, 0x8e, 0xdc, 0x0d, 0x17, 0xe7, 0x7c, 0x3a, 0x6f, 0xf0, 0x05, 0x0e, 0xd4
, 0x2c, 0x77, 0xab, 0x35, 0x91, 0x70, 0x76, 0x85, 0xa9, 0xdc, 0xfe, 0xfb, 0xb0, 0x93, 0x25, 0xff
, 0xc7, 0x71, 0xc2, 0xef, 0x8c, 0xe3, 0x19, 0x1a, 0x53, 0xdf, 0x79, 0x00, 0xed, 0xf8, 0xd0, 0x2e
, 0xad, 0x1d, 0xda, 0xc5, 0x81, 0x7d, 0x24, 0x33, 0xff, 0x53, 0xb3, 0xaf, 0x06, 0x86, 0x3e, 0xe1
, 0xcc, 0x74, 0xa6, 0xd7, 0x51, 0x32, 0xd5
*/
};


u8 head [16] = {
0, 0xb, 0xbe, 0xfd, 0x44, 0xfc, /*DA*/
0, 0x70, 0xcb, 0x50, 0xd, 0xe6, /*SA*/
0, 0, 0, 0};
#endif


/*
* s/\t/ /g
* s/ /, 0x/g
*/

static void dump(u8* data,int size) {
int i;
printf("0: ");
for (i=0;i<size;i++) {
printf("%2x ", data[i]);
if (i%0x10==0xf)
printf("\n%x: ", i+1);
}
printf("\n");
}

static int phase1 () {
u16 rx_ttak[5];
u8 rc4key[16];
u8 keyidx, *pos;
u32 iv32;
u16 iv16;

pos = packet;
keyidx = pos[3];
if (!(keyidx & (1 << 5))) {
printf("packet without ExtIV\n");
}

keyidx >>= 6;
printf("keyidx %d\n", keyidx);

iv16 = (pos[0] << 8) | pos[2];
iv32 = pos[4] | (pos[5] << 8) | (pos[6] << 16) | (pos[7] << 24);
pos += 8;

tkip_mixing_phase1(rx_ttak, key, addr2, iv32);
tkip_mixing_phase2(rc4key, key, rx_ttak, iv16);

if (hostap_wep_decrypt(rc4key, pos, sizeof(packet) - 12)==0)
dump(pos, sizeof(packet)-8-4);
}


static int phase2 () {
u8 mic [8];
int i;
u8* pos = packet + 8;

michael_mic(0, &key[16], head, pos, sizeof(packet)-12-8, mic);
printf("mic = \n");
dump(mic, 8);
michael_mic(0, &key[24], head, pos, sizeof(packet)-12-8, mic);
printf("mic = \n");
dump(mic, 8);

//dump(pos, sizeof(packet)-12-8);
}

int main() {
phase1();
phase2();
}