广东省科技计划工业攻关项目(2007B010400068)
- 作品数：9 被引量：59H指数：4
- 相关作者：杨晋吉虞志飞邬家炜樊晓亮潘久辉更多>>
- 相关机构：华南师范大学中山大学广东商学院更多>>
- 发文基金：广东省科技计划工业攻关项目国家重点基础研究发展计划广东省教育部产学研结合项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 有界模型检测和串空间模型相结合的安全协议验证
- 2010年
- 提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构,通过该丛结构来约束协议运行的的规模和角色行为;然后用BMC对该丛结构进行建模,建立起对应的有限状态自动机和LTL验证规范,进行验证,有效减轻状态空间爆炸问题;利用不安全协议丛结构的特点,对BMC的下界进行优化.这种方式结合了模型检测和定理证明的优点,通过典型的安全协议的分析和实验,验证了本方法较传统的模型检测方法在验证安全协议时,验证效率提高明显.
- 杨晋吉苏开乐肖茵茵李超明
- 关键词：有界模型检测串空间NUSMV
- 通过诊断图分析的快速诊断算法被引量：4
- 2009年
- 基于模型诊断的主要思想是:根据系统的逻辑模型以及系统的输入,通过逻辑的推理理论能推导出系统在正常情况下的预期行为,如果观测到的系统实际行为与系统预期行为有差异,则说明系统存在故障.当系统故障时,可通过逻辑的推理理论来确定引发故障的元件集合.由于经典的基于模型诊断采用的是逻辑推理的手段来产生诊断集合,这导致了传统的基于模型诊断算法的效率非常低下.文中在原有模型诊断基础上,重新定义了诊断,并提出了一种用于诊断的诊断图的数据结构.在此基础上给出了一种基于诊断图分析的快速诊断算法.由于文中的诊断方法是一种过程化的方法,与Reiter的模型诊断的基于逻辑的方法有着本质的不同.因此,文中的方法能很好地克服经典模型诊断效率过低的问题,为诊断问题的求解带来新的前景.实验结果证明了这种新的诊断方法的高效性.
- 陈蔼祥陈清亮潘久辉姜云飞杨晋吉
- ZigBee技术及其安全性研究被引量：30
- 2008年
- ZigBee技术是一种面向无线传感器网络的新技术,在传感器网络广泛应用的情况下,其安全性既要满足高保密性,又要符合低功耗、低复杂性、低成本的要求。因此,研究ZigBee技术的安全性就显得尤为重要。从ZigBee协议栈的安全方面入手,讨论了ZigBee技术的加密技术、安全密钥、网络结构和信任中心方面的安全机制,特别对ZigBee技术存在的一些问题和未来发展进行了分析和总结。
- 虞志飞邬家炜
- 关键词：ZIGBEE技术安全密钥信任中心
- 基于帧间差分的背景提取与更新算法被引量：15
- 2011年
- 当运动目标较多时,时间平均法提取的背景存在模糊和拖影现象。为此,提出一种基于帧间差分的背景提取与更新算法。该算法采用基于像素级和帧级的多级自适应背景更新策略,能够克服光线缓慢变化和剧烈变化对背景的影响,并及时消除由于物体移入和移除产生的鬼影。实验结果表明,该算法能快速有效地对背景进行更新,提取的背景图像效果较好。
- 樊晓亮杨晋吉
- 关键词：帧间差分
- 基于H.264的运动估计和EPZS算法的研究被引量：4
- 2010年
- 在视频序列中,相邻帧之间存在很大的相关性和冗余信息。运动估计与运动补偿减少相邻帧间的冗余度,在视频编码中起着重要的作用。H.264是一种高性能的视频编码技术,其最大的优点是具有很高的压缩比率。在具有高压缩比的同时,还拥有高质量流畅的图像,然而,也带来了高度的计算复杂度,尤其是运动估计模块中。通过分析经典运动估计全搜索算法与EPZS算法后,在此基础上对EPZS算法的进行改进,提出了增强搜索模板的使用条件。通过实验表明,在原来的基础上运动估计的时间减少了1.2%以上,对H.264的实时编码具有一定的意义。
- 叶佐义
- 关键词：块匹配
- 基于GSM短消息的监控系统的研究与实现被引量：1
- 2009年
- 设计并实现一个基于GSM短信息的监控报警系统,介绍了该系统的原理和结构,并详细阐明了其实现方法及一些关键的技术.实践证明,系统具有运行可靠、费用低廉等特点,有较高的应用价值.
- 杨晋吉林结斌袁启义
- 关键词：GSM监控系统RTP短消息
- 一种能量感知的无线多媒体传感器网络多路径QoS路由协议被引量：2
- 2012年
- 针对无线多媒体传感器网络对能量、时延和分组传输率的要求,提出了一种能量感知的多路径QoS路由协议,详细描述了能耗模型、邻居节点和路由发现机制.仿真实验表明,该算法相比传统协议可以降低时延和能耗,并提高分组传输率,从而延长网络生命周期.
- 黄灿辉余小华陈瑛
- 关键词：无线多媒体传感器网络能耗多路径路由
- 无线环境下的Web服务身份认证密钥协商协议被引量：3
- 2011年
- 提出了一种新的无线环境下的Web服务身份认证密钥协商协议,可以提供口令私密性、通信双方认证性和私钥的秘密性。该协议是在挑战响应协议和SEKE协议的基础上提出来的,在密钥设计过程中采用了Diffie-Hellman协议原理。最后,对协议的安全属性,协议的计算代价和通信代价等性能属性分别进行了分析。
- 张学英杨晋吉
- 关键词：无线网络环境密钥协商协议HASH函数
- 乐观合同签订协议的模型检测分析
- 2011年
- 从ECS1协议和PFH协议出发,研究三轮乐观合同签订协议的结构。利用协议动作序列及条件图建立协议模型,分析三轮协议满足有限性的条件。在此基础上,结合模型检测工具SPIN,对满足有限性的协议结构的公平性进行分析、验证,并给出反例,说明三轮协议不可能同时满足有限性和公平性。
- 周立青杨晋吉
- 关键词：有限性
