吴名欢
- 作品数：17 被引量：52H指数：5
- 供职机构：桂林理工大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学金属学及工艺更多>>
- 物联网中安全通信协议的形式化分析被引量：6
- 2013年
- 针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析。该通信协议对传送的信息进行加密,采用的加密方式是散列函数结合异或运算。协议主体进行了相互认证,认证服务器为协议主体通信分配了会话密钥,解决了读写器非法扫描和信息安全传送的问题。利用故障发散改进检测器(FDR)对该协议模型CSP进程进行了检测,结果表明:该协议主体进行了相互认证,会话密钥是安全的,所提出的物联网通信协议是安全可靠的,CSP方法用于分析协议的安全性是可行的。
- 吴名欢程小辉
- 关键词：物联网形式化分析安全协议通信顺序进程
- 校园网络方案设计仿真被引量：1
- 2009年
- 本文介绍了网络仿真技术现状、发展趋势,探讨了基于Packet Tracer仿真软件的网络仿真过程。分析了校园网络设计方案中涉及的关键技术。重点论述了利用Packet Tracer实现校园网络设计方案的详细步骤和过程。
- 吴名欢蒋小华
- 关键词：校园网络仿真PACKETTRACER
- 单片机波形发生器的设计被引量：5
- 2008年
- 该波形发生器能产生正弦波、方波、三角波和锯齿波,波形为双极性,频率和幅值可由键盘设定,频率在0~8kHz范围内可任意设定,并可按步进120μs调整,幅值在-5^+5V范围内可任意设定,并可按步进0.04V调整。该波形发生器基于AT89S51单片机,由D/A波形发生模块、数码管显示模块、键盘输入模块、波形数据存储模块组成。波形的类型、频率和幅值能够在七段LED数码管上实时显示。它还具有掉电保护功能,可存储掉电前的波形和设置。
- 蒋小华吴名欢王文成
- 关键词：波形发生器单片机D/A转换正弦波双极性
- Casper/FDR和串空间在物联网通信协议中的形式化分析被引量：4
- 2014年
- 通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸问题,用串空间对协议的各种状态进行证明,但是如果发现了协议漏洞,该方法不能给出攻击者的迹。
- 吴名欢程小辉
- 关键词：CASPERFDR串空间
- 基于CSP物联网通信协议的建模与形式化分析研究
- 针对物联网通信协议安全性不足和使用非形式化方法对协议的安全性进行分析时容易出现错误的问题,通过分析物联网感知层协议中的Hash-lock协议、随机Hash-lock协议、David数字图书馆协议,发现这些协议存在阅读器非...
- 吴名欢
- 关键词：物联网形式化分析通信协议加密处理
- 文献传递
- 嵌入式通信系统远程高速数据准确识别仿真被引量：6
- 2018年
- 针对当前方法进行远程高速数据准确识别时,存在着数据识别执行时间过长、能量消耗较大、识别率较低等问题。提出基于交叉信息的远程高速数据识别方法。通过对远程高速数据进行分析,得到数据增幅预警值,以此构建远程数据通信传输模型,利用远程数据点均值对系统中无效数据进行处理,引入动平均线处理法对通信系统远程缺失数据进行数据补偿,得到有效数据交叉信息链,将相对独立的多个远程数据连接起来,计算出数据的包络特征值,并用于对通信系统中有效数据进行识别,形成远程有效数据时域波形信息分量,以完成数据准确识别。实验结果表明,所提方法数据识别执行时间较短、能量消耗较小、识别率较高。
- 蒋小华张飙吴名欢
- 关键词：通信系统数据识别决策树
- 一种移动终端中个人信息保密方法及系统
- 本发明公开了一种移动终端中个人信息保密方法及系统，涉及移动终端数据安全技术领域，包括：操作界面选择步骤、第一密码输入步骤、第一判断步骤、个人信息文件选择步骤、加密判断步骤、信息加密步骤、加密信息显示步骤、第二密码输入步骤...
- 梁世华吴名欢习丹刘月红陈艳徐红林浩覃天贤杨顺姚尹锦黄凯黄旭晖钱万里
- 一种加强网线接头固定的路由器防尘外壳
- 本实用新型属于安全路由设备领域，具体地说是一种加强网线接头固定的路由器防尘外壳，包括防尘外壳体，所述防尘外壳体的一侧外壁提提化设置有直角卡块，且直角卡块的内部滑动连接有散热防尘网，并且散热防尘网的另一侧外壁预留有开放散热...
- 梁世华习丹吴名欢陈艳刘月红
- 网络仿真在计算机网络教学中的应用研究被引量：6
- 2010年
- 文章分析了计算机网络教学现状和网络仿真技术基础,探讨了网络仿真技术应用到计算机网络教学中产生的作用;重点用实例论述了网络仿真技术与计算机网络教学相结合后老师提高的教学效果,丰富了教学手段,学生拓宽了视野,激发了对计算机网络研究的热情。
- 吴名欢刘迪迪
- 关键词：计算机网络网络仿真PACKETTRACER
- 基于COM的OPC技术及其应用程序的开发被引量：12
- 2004年
- 介绍了基于COM的OPC技术、OPC的工控体系结构和OPC数据存取规范的定制接口,分析了OPC数据存取规范的自动化接口对象模型.以OPC数据存取自动化接口规范(2 0)为蓝本,给出了利用Excel的VBA实现一个趋势图的应用程序的详细步骤和具体程序.
- 张烈平吴名欢周德俭
- 关键词：COMOPC接口标准
