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

相关文章

C#借助Spire.XLS for .NET实现在Excel中添加文档属性

《C#借助Spire.XLSfor.NET实现在Excel中添加文档属性》在日常的数据处理和项目管理中,Excel文档扮演着举足轻重的角色,本文将深入探讨如何在C#中借助强大的第三方库Spire.... 目录为什么需要程序化添加Excel文档属性使用Spire.XLS for .NET库实现文档属性管理Sp

Python+FFmpeg实现视频自动化处理的完整指南

《Python+FFmpeg实现视频自动化处理的完整指南》本文总结了一套在Python中使用subprocess.run调用FFmpeg进行视频自动化处理的解决方案,涵盖了跨平台硬件加速、中间素材处理... 目录一、 跨平台硬件加速:统一接口设计1. 核心映射逻辑2. python 实现代码二、 中间素材处

Java数组动态扩容的实现示例

《Java数组动态扩容的实现示例》本文主要介绍了Java数组动态扩容的实现示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1 问题2 方法3 结语1 问题实现动态的给数组添加元素效果,实现对数组扩容,原始数组使用静态分配

Python实现快速扫描目标主机的开放端口和服务

《Python实现快速扫描目标主机的开放端口和服务》这篇文章主要为大家详细介绍了如何使用Python编写一个功能强大的端口扫描器脚本,实现快速扫描目标主机的开放端口和服务,感兴趣的小伙伴可以了解下... 目录功能介绍场景应用1. 网络安全审计2. 系统管理维护3. 网络故障排查4. 合规性检查报错处理1.

Python轻松实现Word到Markdown的转换

《Python轻松实现Word到Markdown的转换》在文档管理、内容发布等场景中,将Word转换为Markdown格式是常见需求,本文将介绍如何使用FreeSpire.DocforPython实现... 目录一、工具简介二、核心转换实现1. 基础单文件转换2. 批量转换Word文件三、工具特性分析优点局

Springboot3统一返回类设计全过程(从问题到实现)

《Springboot3统一返回类设计全过程(从问题到实现)》文章介绍了如何在SpringBoot3中设计一个统一返回类,以实现前后端接口返回格式的一致性,该类包含状态码、描述信息、业务数据和时间戳,... 目录Spring Boot 3 统一返回类设计:从问题到实现一、核心需求:统一返回类要解决什么问题?

Java使用Spire.Doc for Java实现Word自动化插入图片

《Java使用Spire.DocforJava实现Word自动化插入图片》在日常工作中,Word文档是不可或缺的工具,而图片作为信息传达的重要载体,其在文档中的插入与布局显得尤为关键,下面我们就来... 目录1. Spire.Doc for Java库介绍与安装2. 使用特定的环绕方式插入图片3. 在指定位

Java使用Spire.Barcode for Java实现条形码生成与识别

《Java使用Spire.BarcodeforJava实现条形码生成与识别》在现代商业和技术领域,条形码无处不在,本教程将引导您深入了解如何在您的Java项目中利用Spire.Barcodefor... 目录1. Spire.Barcode for Java 简介与环境配置2. 使用 Spire.Barco

Java利用Spire.Doc for Java实现在模板的基础上创建Word文档

《Java利用Spire.DocforJava实现在模板的基础上创建Word文档》在日常开发中,我们经常需要根据特定数据动态生成Word文档,本文将深入探讨如何利用强大的Java库Spire.Do... 目录1. Spire.Doc for Java 库介绍与安装特点与优势Maven 依赖配置2. 通过替换

Android使用java实现网络连通性检查详解

《Android使用java实现网络连通性检查详解》这篇文章主要为大家详细介绍了Android使用java实现网络连通性检查的相关知识,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录NetCheck.Java(可直接拷贝)使用示例(Activity/Fragment 内)权限要求