TKIP中MIC值的算法及实现

2024-02-22 06:38
文章标签 算法 实现 mic tkip

本文主要是介绍TKIP中MIC值的算法及实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

    针对WEP中CRC不能有效提供数据完整性保护的问题,TKIP 采用了带密钥的消息完整性校验算法MIC, 目前TKIP的 MIC 算法称为 Michael。
    Michael 的认证密钥Kmic是 64 bits,分为左右各 32 bits 用(K0,K1)表示, Michael连接函数将消息M按32 bits分割成M0、M1、M2?Mn, 最后生成64 bits的MIC值, 接收方用共享的K和接收到的消息计算出MIC'与接收到的MIC进行校验, 具体过程如下:

Algorithm 1:Michael message processing
    Input: Key (K0, K1) and message M0,?,MN
    Output: MIC value (V0, V1)
        MICHAEL((K0, K1) , (M0,?,MN))
            (L,R)←(K0, K1)
            for i=0 to N-1 do
                L←L ⊕ Mi
                (L, R)←b( L, R )
            return (L,R)
   Algorithm 2:Michael b function
    Input: (L,R)
    Output: (L,R)
        b(L,R)
        R←R⊕(L <<< 17)
        L←(L + R) mod 2^^32
        R←R⊕XSWAP(L)
        L←(L + R) mod 2^^32
        R←R⊕(L <<< 3)
        L←(L + R) mod 2^^32
        R←R⊕(L >>> 2)
        L←(L + R) mod 2^^32
        return (L,R)
> >>表示32 bits右旋转 (rotation) , <<<表示32 bits左旋转。2^^32表示2的32次方。XSWAP 是一个交换函数, XSWAP (ABCD) =BADC, 这里A、 B、 C、 D表示字节。
具体代码为:
unsigned long rol17(unsigned long w)             // rotate left 17
{
register unsigned long t, q;
    t = w << 17;
    q = (w >> 15);
    return(t|q);
}

unsigned long rol3(unsigned long w)             // rotate left 3
{
register unsigned long t, q;
    t = w << 3;
    q = (w >> 29);
    return(t|q);
}


unsigned long ror2(unsigned long w)             // rotate right 2
{
register unsigned long t, q;
    t = (w >> 2);
    q = w << 30;
    return(t|q);
}

#define    MBLOCK(L, R)                        /
    R = R ^ rol17(L);                    /
    L += R;                            /
    R ^= ((L & 0xff00ff00)>>8)|((L & 0x00ff00ff) << 8);    /
    L += R;                            /
    R ^= rol3(L);                        /
    L += R;                            /
    R ^= ror2(L);                        /
    L += R;                           

static unsigned long getw(unsigned char *cp)
{
register unsigned long t;

    t = 0;
    t = *cp++;
    t |= (*cp++)<<8;
    t |= (*cp++)<<16;
    t |= (*cp++)<<24;
    return(t);
}

void putw(unsigned long w, unsigned char *cp)
{

    *cp++ = (short int)w;    // MS compiler forces use of 0xff
    *cp++ = (short int)(w>>8);
    *cp++ = (short int)(w>>16);
    *cp++ = (short int)(w>>24);
    return;
}


// Michael integrity function
// pads the buffer (s) with up to 7 bytes
// if h is non-null, it is prepended to the buffer.
// The function appends an additional 8 bytes of Michael
// returns buffer len (payload+Michael)
//
int
Michael(unsigned char *key, unsigned char *s, int dlen)
{
register unsigned long M;
unsigned long L, R;
int len = dlen;
register unsigned char *sp, *cp;

    L = getw(key);        // L = *LL; R = *RR;
    R = getw(key+4);

    sp = s;
    sp[len++] = 0x5a;            // message padding
    sp[len++] = 0;                // 4 required
    sp[len++] = 0;
    sp[len++] = 0;
    sp[len++] = 0;
    while (len&0x3) {            // word aligned
        sp[len++] = 0;
    }

    sp = s;
    while (len > 0) {
        M = getw(sp);             // M = *mp++; len -= 4;
        sp+=4; len -= 4;
   
        L ^= M;                // Michael block function
        MBLOCK(L, R);
    }
    cp = s+dlen;
    putw(L, (unsigned char *)cp);
    cp = s+dlen+4;
    putw(R, (unsigned char *)cp);
    return(len+8);
}

 

这篇关于TKIP中MIC值的算法及实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/734420

相关文章

SpringBoot集成redisson实现延时队列教程

《SpringBoot集成redisson实现延时队列教程》文章介绍了使用Redisson实现延迟队列的完整步骤,包括依赖导入、Redis配置、工具类封装、业务枚举定义、执行器实现、Bean创建、消费... 目录1、先给项目导入Redisson依赖2、配置redis3、创建 RedissonConfig 配

Python的Darts库实现时间序列预测

《Python的Darts库实现时间序列预测》Darts一个集统计、机器学习与深度学习模型于一体的Python时间序列预测库,本文主要介绍了Python的Darts库实现时间序列预测,感兴趣的可以了解... 目录目录一、什么是 Darts?二、安装与基本配置安装 Darts导入基础模块三、时间序列数据结构与

Python使用FastAPI实现大文件分片上传与断点续传功能

《Python使用FastAPI实现大文件分片上传与断点续传功能》大文件直传常遇到超时、网络抖动失败、失败后只能重传的问题,分片上传+断点续传可以把大文件拆成若干小块逐个上传,并在中断后从已完成分片继... 目录一、接口设计二、服务端实现(FastAPI)2.1 运行环境2.2 目录结构建议2.3 serv

C#实现千万数据秒级导入的代码

《C#实现千万数据秒级导入的代码》在实际开发中excel导入很常见,现代社会中很容易遇到大数据处理业务,所以本文我就给大家分享一下千万数据秒级导入怎么实现,文中有详细的代码示例供大家参考,需要的朋友可... 目录前言一、数据存储二、处理逻辑优化前代码处理逻辑优化后的代码总结前言在实际开发中excel导入很

SpringBoot+RustFS 实现文件切片极速上传的实例代码

《SpringBoot+RustFS实现文件切片极速上传的实例代码》本文介绍利用SpringBoot和RustFS构建高性能文件切片上传系统,实现大文件秒传、断点续传和分片上传等功能,具有一定的参考... 目录一、为什么选择 RustFS + SpringBoot?二、环境准备与部署2.1 安装 RustF

Nginx部署HTTP/3的实现步骤

《Nginx部署HTTP/3的实现步骤》本文介绍了在Nginx中部署HTTP/3的详细步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学... 目录前提条件第一步:安装必要的依赖库第二步:获取并构建 BoringSSL第三步:获取 Nginx

MyBatis Plus实现时间字段自动填充的完整方案

《MyBatisPlus实现时间字段自动填充的完整方案》在日常开发中,我们经常需要记录数据的创建时间和更新时间,传统的做法是在每次插入或更新操作时手动设置这些时间字段,这种方式不仅繁琐,还容易遗漏,... 目录前言解决目标技术栈实现步骤1. 实体类注解配置2. 创建元数据处理器3. 服务层代码优化填充机制详

Python实现Excel批量样式修改器(附完整代码)

《Python实现Excel批量样式修改器(附完整代码)》这篇文章主要为大家详细介绍了如何使用Python实现一个Excel批量样式修改器,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一... 目录前言功能特性核心功能界面特性系统要求安装说明使用指南基本操作流程高级功能技术实现核心技术栈关键函

Java实现字节字符转bcd编码

《Java实现字节字符转bcd编码》BCD是一种将十进制数字编码为二进制的表示方式,常用于数字显示和存储,本文将介绍如何在Java中实现字节字符转BCD码的过程,需要的小伙伴可以了解下... 目录前言BCD码是什么Java实现字节转bcd编码方法补充总结前言BCD码(Binary-Coded Decima

SpringBoot全局域名替换的实现

《SpringBoot全局域名替换的实现》本文主要介绍了SpringBoot全局域名替换的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一... 目录 项目结构⚙️ 配置文件application.yml️ 配置类AppProperties.Ja