田志辉
- 作品数:2 被引量:3H指数:1
- 供职机构:天津大学电子信息工程学院更多>>
- 发文基金:国家自然科学基金青海省科技计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- EAP-MD5协议的安全性分析与改进
- 2014年
- 安全协议的验证对确保网络通信安全极其重要,形式化分析方法使得安全协议的分析简单、规范和实用,成为信息安全领域的研究热点。针对802.1x/EAP-MD5认证协议,提出一种基于着色Petri网(CPN)的安全协议形式化验证方法,并给出具体的形式化分析过程。建立协议的CPN模型,分析协议执行过程中可能出现的不安全状态,利用CPN状态可达性判定这些不安全状态是否可达,从而验证协议的安全性。对于802.1x/EAP-MD5协议在中间人攻击下的安全漏洞问题,提出协议的改进方案,采用预共享密钥机制生成会话密钥加密交互信息,同时运用数字证书对服务器进行认证,以提升中间人攻击的难度及增强网络接入认证协议的安全性。
- 田志辉金志刚王颖
- 关键词:着色PETRI网形式化分析可达性分析中间人
- 基于可变长时隙机制的水下传感器网络MAC协议被引量:3
- 2014年
- 通过研究水声通信的特点,分析水下物体的运动特性,提出了一种基于可变长时隙机制的水下传感器网络MAC协议。新协议中,传感器节点会周期性获取邻居节点的位置信息,并根据节点间相互距离的变化自适应地调整信道预约时隙长度,当节点由于运动引起网络区域收缩,节点之间距离变小时,预约时隙长度变小,反之,时隙长度增大。可变长时隙机制,提高了信道时隙资源的利用率。仿真结果表明,动态环境下新协议相对现有的协议在有效网络吞吐量性能上提升15%左右。
- 田志辉金志刚王颖
- 关键词:介质访问控制协议水下无线传感器网络时隙