胡游君
- 作品数：9 被引量：9H指数：2
- 供职机构：国家电网公司更多>>
- 相关领域：自动化与计算机技术更多>>
- SSL协议的扩展Rubin逻辑形式化分析被引量：3
- 2007年
- SSL协议是一个用于因特网上进行保密通信的实用安全协议,由于它的复杂性,很多形式化分析方法都不适合分析它[1]。而适用于分析非单调密码协议的Rubin逻辑,不同于大多数采用"知识"和"信念"的逻辑分析发现安全缺陷的逻辑分析方法,它完整地分析协议过程中的出现所有"动作",不但能清晰地看到SSL协议的不足,还可指出进一步完善SSL协议的方法。
- 李秋山胡游君
- 关键词：安全协议SSL协议形式化分析
- 一种分布式部署的网络时延采集方法
- 本发明涉及一种分布式部署的网络时延采集方法，目的是解决如何提高网络时延采集的实时性和准确性的问题。本发明通过选择合适的探测算法和提高探测频率来保证探测的准确性；通过采用分布式的部署方式来保证时延数据探测的实时性。本发明包...
- 胡游君楚家辉蒋元晨邱玉祥周锁
- 文献传递
- RFID安全协议形式化分析研究及DRAP协议的建立与实现
- 随着计算机网络通信的迅猛发展,网络安全开始被人们所重视,其中安全协议分析验证已成为一个研究热点。对安全协议的分析验证的方法和手段有很多,其中形式化分析方法已被证明是分析和验证安全协议的最为有效手段。
...
- 胡游君
- 关键词：安全协议RFID系统串空间BAN逻辑形式化分析
- 文献传递
- 信息运维综合监管系统中的内存数据库集群技术
- 信息系统一般都采用传统的关系型数据库，传统的关系型数据库管理系统主要强调维护数据的完整性、一致性、稳定性，一般采用物理磁盘存储的方式。由于磁盘存取、内外存的数据传输、缓冲区管理、排队等待及锁的延迟等缺点使得数据库I/O不...
- 梁鸿健胡游君唐海荣
- 关键词：内存数据库集群技术信息运维数据读取速度
- 一种分布式部署的网络时延采集方法
- 本发明涉及一种分布式部署的网络时延采集方法，目的是解决如何提高网络时延采集的实时性和准确性的问题。本发明通过选择合适的探测算法和提高探测频率来保证探测的准确性；通过采用分布式的部署方式来保证时延数据探测的实时性。本发明包...
- 胡游君楚家辉蒋元晨邱玉祥周锁
- 文献传递
- 日志采集归并技术在电力安全管理中的应用被引量：1
- 2013年
- 电力二次系统安全防护工作开展以来,各级电网调度中心和变电站部署了大量的安全设备和系统,为实现安全设备运行状态检测,需采集并存储大量详实的运行数据。文章在分析电力二次系统安全管理中日志采集架构的基础上,提出了消息路径的日志采集技术,并通过基于任务池、缓冲池的多级归并技术,提高了日志处理速度,完成海量数据的归并入库。实践证明该技术能高效地处理海量多源异构数据。
- 黄颖祺邱玉祥胡游君王靓
- 关键词：日志采集电力二次系统安全管理
- 低成本RFID系统安全协议设计及其形式化分析
- 目前还没有集安全、高效、实用、低成本于一身的RFID安全协议,本文简单介绍了RFID系统和RFID安全协议,在介绍分析了当前被认为是稳定性、安全性较好的数字图书馆RFID协议后对其进行修改,提出了一个利用“共享密钥对”保...
- 李秋山胡游君
- 关键词：RFID系统安全协议形式化分析
- 文献传递
- 一种基于ActiveMQ数据总线的跨电力安全区实时数据交换方法
- 本发明公开了一种基于ActiveMQ数据总线的跨电力安全区实时数据交换方法，其方法为多个电力安全区通过通用的JMS消息协议向各自区域的数据总线发送数据，然后通过数据总线内部的通信转发机制并通过设置在电力安全区域之间的安全...
- 胡游君陈玉慧严晴唐海荣
- 文献传递
