张勇
- 作品数:27 被引量:2H指数:1
- 供职机构:西安邮电大学更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术经济管理更多>>
- 一种快递分拣装置
- 本实用新型公开了一种快递分拣装置,包括第一传送带、第二传送带和第三传送带,第二传送带的末端设置有第四传送带,第三传送带的末端设置有第五传送带,第四传送带和第五传送带的内侧均设置有工作台,工作台的一侧设置有称重传送带,称重...
- 沈建冬张勇单福亮李鹏宋伟吕伟高菲陈文霞
- 文献传递
- 一种云平台的时序演化网络安全预警方法
- 一种云平台的时序演化网络安全预警方法,事件演化分析与维度约简在界定云计算服务安全事件性质和特点的基础上,基于安全事件时序演化分析,确定并约简云计算服务安全预警的事件维度;基于事件分群的安全事件深度预警建模,是基于事件相似...
- 张勇
- 文献传递
- 工业产品 区块链溯源平台建设运行规范
- 本文件规定了工业产品区块链溯源平台建设运行的总体架构、功能、平台对接、安全性、可靠性及稳定性和运行维护的要求。 本文件适用于指导工业企业开展工业产品区块链溯源平台的建设、运行工作。
- 张勇檀敏殷磊苏晓毅李伟鹏董化一杜志强宋文文赵晓荣彭琴杨向东穆鹏远
- 快递分拣系统
- 1.本外观设计产品的名称:快递分拣系统。;2.本外观设计产品的用途:本外观设计产品用于多出口分拣物流包裹。;3.本外观设计产品的设计要点:产品的形状。;4.最能表明本外观设计设计要点的图片或照片:立体图。
- 沈建冬张勇单福亮李鹏宋伟吕伟高菲陈文霞
- 一种分析会话密钥分配协议的新方法
- 2015年
- 通过对协议执行过程的分析,给出了驱动模块(Driving Module,DM)的定义。然后,结合串空间模型构建了常规者DM和攻击者DM,并在此基础上提出了一种分析会话密钥分配协议的新攻击构造法——基于DM的模型检验方法。定理证明和实例分析表明,该方法的搜索广度和深度都是完善的,而且可以避免状态空间爆炸问题。
- 肖跃雷朱志祥张勇
- 关键词:驱动模块
- 包裹分拣装置(2)
- 1.本外观设计产品的名称:包裹分拣装置(2)。;2.本外观设计产品的用途:本外观设计产品用于多出口分拣物流包裹。;3.本外观设计产品的设计要点:产品的形状。;4.最能表明本外观设计设计要点的图片或照片:立体图。
- 沈建冬张勇单福亮李鹏宋伟吕伟高菲陈文霞
- 文献传递
- 三元对等鉴别机制的安全性分析被引量:2
- 2015年
- 为了分析三元对等鉴别(Trie-element Peer Authentication,Te PA)机制的安全性,利用串空间模型(Strand Space Model,SSM)对Te PA机制进行分析。通过分析可知,Te PA机制在一些情形下虽未能达到完全的认证一致性,但仍然安全,所以Te PA机制在SSM下是安全的。此外,提出针对Te PA机制的2种改进措施,使得改进后的Te PA机制能达到完全的认证一致性。
- 肖跃雷朱志祥张勇
- 关键词:串空间模型
- 信息安全技术 行业间和组织间通信的信息安全管理
- 本文件提供了信息安全管理体系(ISMS)标准族的补充指南,用于在信息共享团体中实现信息安全管理。本文件为行业间和组织间通信提供了有关发起、实现、维护与改进信息安全的控制和指南。它为如何使用已建立的消息传递和其他技术方法满...
- 王曙光公伟朱丰雪范博魏军张勇李丹尤莉莉赵延军周伟光顾丽旺王文磊宋丽华邵萌梁伟赵华袁一鹏许立前万谊平张建成许志国秦扬胡鑫磊杨向东杨锐邓祥武刘志强王栋王建东张志为郑伟张洪艳李永发徐彦霞程燕戴洪刚秦峰孟繁刚王永起贾庆佳何广丰张志龙薛念明李勋耿哲张淑贞崔浩刘伟丽李腾
- 一种分析和改进安全协议的新方法
- 2015年
- 分析安全协议的执行过程,给出驱动模块(Driving Module,DM)的定义,利用串空间模型构建常规DM和攻击DM,由此给出一种基于驱动模块的模型检验方法。理论分析显示,该方法搜索广度和深度完善,能避免状态空间爆炸问题,可用于获得有缺陷安全协议的攻击剧本,并证明无缺陷安全协议的安全性。用该方法分析OtwayRees协议和TLS协议,获得了Otway-Rees协议的攻击剧本,得出了Otway-Rees协议的两个安全改进版本,说明了TLS协议的安全性。
- 肖跃雷朱志祥张勇
- 关键词:驱动模块串空间模型安全协议
- 一种基于多层注意力机制的二进制恶意代码快速分类方法
- 一种基于多层注意力机制的二进制恶意代码快速分类方法,模型由输入层、嵌入层、多层卷积和注意力层和分类层组成,输入层是恶意代码二进制代码以字节序列导入模型,嵌入层对输入数据进行转换形成一个二维矩阵,多层卷积和注意力层是将嵌入...
- 张勇