张勇
- 作品数：16 被引量：88H指数：7
- 供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划浙江省科技攻关计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- Internet密钥交换协议的安全缺陷分析被引量：10
- 2002年
- IKE(Internet key exchange,RFC2409)提供了一组Internet密钥交换协议,目的是在IPSec(IP security)通信双方之间建立安全联盟和经过认证的密钥材料.随后有学者发现IKE协议存在一个安全缺陷,并给出相应的修改建议.指出了修改后的IKE协议仍然存在类似的安全缺陷,并描述了一个成功的攻击.在给出修改建议的同时,成功地利用BAN逻辑分析了导致这两个安全缺陷的原因.
- 张勇冯东雷陈涵生白英彩
- 关键词：INTERNET密钥交换协议安全缺陷分析安全联盟主模式
- 密码协议基于遍历的分析方法
- 2001年
- 文献１１提出用两方密码协议的运行模式对协议进行分析，文章证明该方法未能列举出全部运行模式，因此一些协议的漏洞不能被发现．文章提出一种遍历分析法，让导致攻击成功的假冒消息遍历攻击者在各种情况下消息接收集来对协议进行分析，从而发现协议漏洞．
- 钱勇张勇白英彩
- 关键词：密码协议信息安全
- ElGamal知识证明及其在授权签名系统中的应用被引量：3
- 2001年
- 离散对数签名方案的本质是密钥持有者给出了已知公钥的离散对数的知识证明。提出了ElGamal知识证明的概念，并给出了相应的性质，给出了用ElGamal知识证明实现授权签名的一种方案。
- 张勇敖青云白英彩
- 关键词：离散对数知识证明密码协议ELGAMAL签名
- 状态自动机支持的环境感知应用框架研究
- 2006年
- 环境感知是普及计算中一个重要的研究领域。为了便于开发环境感知应用程序,许多研究者已经提出了一些环境感知应用框架。然而,目前的一些环境感知应用框架侧重于让应用程序直接订阅或查询相关的环境信息,使得开发者需要关注众多的环境信息且要定义许多相似的规则来区分众多不同的操作,造成了开发和修改环境感知的应用程序仍存在着较多的困难。为解决这些问题,本文在研究环境感知应用框架的基础上,引入了信息空间环境状态的概念,提出了一种基于状态自动机的环境感知改进框架BS-CTK,并设计和实现了相应的组件以支持基于状态自动机的环境感知应用开发。
- 俞兆安张申生张勇童红霞
- 关键词：环境感知环境信息
- 基于IPSec的安全路由器设计与实现被引量：7
- 2001年
- 在介绍IETF制订的IPSec协议簇基础上，以上海交通大学金桥网络中心研制开发的BQ2800/BQ5000系列路由器为例，详细介绍了通过引入IPSec技术构建安全路由器的原理，并给出了协议实现的总体结构，分析了BQ2800/BQ5000路由器的安全特性，以及安全功能的增加对其性能的影响。
- 朱蕾张勇白英彩
- 关键词：IPSEC路由器密钥交换INTERNET数据完整性
- 计算有效的分布式组密钥管理方案
- 2007年
- 基于Diffie-Hellman密钥交换协议以及逻辑密钥树的思想,提出了一种分布式组密钥管理方案.与当前基于DH密钥交换协议中性能最优的TGDH方案相比,组成员加入时,模指数运算次数最多的组成员的模指数运算开销降低了33%.如果不引起逻辑密钥树平衡性失调,组成员退出时新方案中不需要模指数运算,即使引起逻辑密钥树平衡性失调,新方案中指数运算最多的组成员的模指数运算开销也降低了33%.
- 张勇张翼唐业汪为农
- 关键词：安全组通信组密钥管理
- 无线传感器网络中基于博弈论的入侵检测系统被引量：2
- 2009年
- 由于无线链路的开放性,节点生存周期有限,网络拓扑结构动态变化,传统的基于防火墙的安全策略作用有限,使得无线传感器网络(WSNs)存在严重的安全性问题。入侵检测系统IDS(Intrusion Detection System)作为一种主动防御方式,成为了当前研究的热点问题之一。论文针对目前IDS发展现状,采用基于博弈论的分析方法,建立可应对多目标、多攻击源和多攻击强度的IDS模型,使在对攻击的防御成功率和延长网络生存周期上都有所改进。
- 张勇
- 关键词：无线传感器网络博弈论入侵检测系统
- 基于免疫原理的多代理网络入侵检测系统的设计被引量：12
- 2004年
- 入侵检测技术对于网络安全来说有重要的意义 ,本文简单介绍了人体免疫系统的工作原理 。
- 张勇欧阳明光潘峰汪为农
- 关键词：网络安全入侵检测系统免疫原理计算机网络
- 基于工作流和本体建模的GMP文档管理系统研究
- 2007年
- GMP(药品生产质量管理规范)是制药行业质量管理的依据,对GMP文档进行管理是制药企业的一项重要任务。然而,目前采用的一些基于手工方式或利用传统的GMP文档管理系统来管理GMP文档,还存在业务流程不能与文档的紧密相关、系统的重构性和可扩充性较差等问题。为解决这些问题,首先讨论了GMP文档管理的特点和复杂性及现有一些方法的不足,然后提出一种基于工作流和本体建模的GMP文档管理系统框架,接着详细分析了各组成部分主要功能及各子系统的具体实现。
- 俞兆安张申生张勇童红霞
- 关键词：工作流本体
- 基于RADIUS协议的远程访问系统安全性分析与设计
- 2003年
- RADIUS协议为远程访问系统提供重要的安全服务,即认证、授权和记账。在分析信息安全3个重要元素基础上,详细描述了RADIUS协议提供上述安全服务原理以及协议结构,并在此基础上设计了远程访问系统中基于RADIUS协议的安全子系统。同时通过分析RADIUS协议的优缺点,提出了增强认证机制的改进方案。
- 金碧琼黄振国邵曰祥张勇
- 关键词：授权记账RADIUS协议
