四川省科技支撑计划(2012FZ0016) 作品数:6 被引量:7 H指数:2 相关作者: 林宏刚 张仕斌 闫丽丽 昌燕 胡勇 更多>> 相关机构: 成都信息工程大学 四川大学 更多>> 发文基金: 四川省科技支撑计划 四川省教育厅资助科研项目 更多>> 相关领域: 自动化与计算机技术 更多>>
单向传输设备中屏幕图像实时传输的研究 2013年 为满足涉密计算机用户对外网图文信息的实时接收、查看和监控等需求,设计并实现一种用于单向传输设备的屏幕图像实时传输系统。该系统采用镜像驱动方式快速、高效地获取屏幕图像;设计适合单向传输设备的屏幕图像实时传输协议用于在无反馈的情况下数据包能够实时传输到接收端;并通过发送相邻2张图像的异或数据减少系统所占带宽;以及每发送一定异或图像数据后发送一张完整图像的方法,解决传输过程中的丢包而导致接收图像错乱的问题。通过测试表明,该系统在低CPU使用率,低带宽占用率的情况下能够提供良好的实时图像传输服务,满足单向传输设备中屏幕图像实时传输的要求。 黄赞赞 林宏刚关键词:图像获取 图像传输 图像压缩 一种无线传感器网络用户认证与密钥协商协议 被引量:4 2013年 随着无线传感器网络的发展,外部用户可以直接访问传感器内部节点获取信息,因此如何认证外部用户的身份,只允许授权用户获取节点数据,保证传输数据的保密性和完整性,已成为当前无线传感器网络研究的热点问题.本文基于用户口令和智能卡提出一个无线传感器网络用户认证与密钥协商协议,协议中采用哈希和异或运算实现主体的身份认证和密钥协商功能.为了分析协议的安全性,本文扩展了串空间理论,构造了分析无线传感器网络认证与密钥协商协议的形式化方法,证明了协议的安全性.最后,文中分析了协议的执行效率,并与同类协议进行了比较. 闫丽丽 张仕斌 昌燕关键词:无线传感器网络 密钥协商 智能卡 动态分块隔行扫描算法设计与实现 2014年 为满足屏幕图像传输中低CPU使用率,低带宽占用率的需求,设计并实现了一种动态分块隔行扫描算法。该算法比较相邻两帧图像,找出所有图像变化坐标并根据变化像素点的坐标得到面积最小的不重叠矩形区域的集合,压缩并发送矩形区域集合包含的图像数据。实验结果表明,在图像变化较小时,该算法的CPU使用率和带宽占用率明显优于固定分块隔行扫描算法,有效减小传输的数据量,提高图像传输的性能。 赵司井 林宏刚关键词:图像传输 隔行扫描 动态分块 一种协议抗拒绝服务的形式化分析方法研究 2015年 针对安全协议中存在的拒绝服务(DoS)攻击,在串空间模型基础上,引入代价函数和节点相关度集合,使串空间模型能够全面、有效地分析安全协议是否存在拒绝服务攻击。利用该模型对IEEE802.11i握手协议以及JFK(just fast keying)协议进行建模,从服务中止型和资源消耗型2个方面分析协议,发现了协议存在的DoS攻击漏洞,验证模型的可行性。 金大鹏 林宏刚关键词:信息安全 DO 形式化分析 WAP环境下移动支付协议公平性分析 被引量:2 2013年 为保证买卖双方公平交换,基于主动测试定理和发送边存在定理分析了移动支付协议的公平性,指出该协议存在安全缺陷。由此提出了一种改进协议,通过增加时间戳和改变部分消息发送的主体弥补协议公平性缺陷,并用扩展串空间模型对其公平性进行了形式化分析,证明其在没有影响运行效率的前提下能够满足公平性要求。研究结果验证了所提的方法可以有效地分析协议公平性。 林宏刚 胡勇关键词:WAP 单向传输中丢包的相关性研究 被引量:1 2013年 随着单向传输技术在组播、安全隔离与信息交换、大数据高速传输以及卫星通信中的广泛应用,单向传输的性能和可靠性等问题成为单向传输应用中重点关注的问题。通过对单向传输中丢包数据的分析,得出丢包与传输速率、数据包负载的相关性,并对丢失数据包间相关性构建丢包模型。这对减少单向传输中的丢包,提高单向传输性能,以及单向传输中纠错编码方案的选择,具有重要的指导作用。 高翔 林宏刚关键词:丢包 传输速率