您的位置: 专家智库 > >

程正杰

作品数:6 被引量:1H指数:1
供职机构:上海交通大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:电子电信自动化与计算机技术环境科学与工程更多>>

文献类型

  • 3篇专利
  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 2篇电子电信
  • 2篇自动化与计算...
  • 1篇环境科学与工...

主题

  • 3篇新鲜性
  • 3篇信息处理
  • 3篇信息处理技术
  • 3篇冗余
  • 3篇冗余数据
  • 3篇细粒度
  • 3篇秘密性
  • 3篇密码
  • 3篇密码协议
  • 3篇密码协议分析
  • 3篇处理技术
  • 3篇存储方法
  • 2篇奇偶校验
  • 2篇奇偶校验码
  • 2篇校验码
  • 2篇N+1
  • 1篇信任
  • 1篇数据存储
  • 1篇数据存储方法
  • 1篇数据块

机构

  • 6篇上海交通大学

作者

  • 6篇程正杰
  • 5篇陈克非
  • 3篇郑燕飞
  • 2篇来学嘉
  • 2篇徐文强
  • 2篇赖龙彬
  • 1篇沈林峰
  • 1篇曹羽中

传媒

  • 1篇北京大学学报...
  • 1篇中国密码学会...

年份

  • 1篇2012
  • 5篇2010
6 条 记 录,以下是 1-6
排序方式:
基于细粒度新鲜性的密码协议分析被引量:1
2010年
对新鲜性进行了细粒度的定义,并将新鲜性和秘密性结合,完善了基于新鲜性原则的密码协议分析方法。区分了不同主体产生的新鲜性标识符的可信任新鲜性,并对私有秘密和共享秘密给予了更准确的解释。改进后的基于新鲜性原则的密码协议分析方法能够分析并发现Helsinki协议中存在的微妙的安全缺陷。
程正杰陈克非来学嘉
关键词:密码协议新鲜性秘密性
基于RS纠删码的数据存储方法
一种信息处理技术领域的基于RS纠删码的数据存储方法,包括以下步骤:对待存储文件进行分块处理和分组处理;将每个数据组的原始数据块传送到数据节点并由数据节点进行RS编码,使每个数据组在原始数据块的基础上增加若干个冗余数据块,...
郑燕飞沈林峰曹羽中程正杰陈克非
文献传递
环链式n+1位奇偶校验码的存储方法
一种信息处理技术领域的环链式n+1位奇偶校验码的存储方法,包括以下步骤:对待存储文件进行分块处理,得到N个大小相同的原始数据块;采用现有的奇偶校验编码得到相邻的每两个原始数据块的冗余数据块,将冗余数据块放在对应的两个原始...
程正杰郑燕飞陈克非赖龙彬徐文强
基于细粒度新鲜性的密码协议分析
随着网络的迅速发展和普及,建立在网络基础上的安全协议变得越来越重要。本文主要在基于新鲜性原则分析密码协议的信任多集方法基础上,继续完善并扩展了基于新鲜性原则分析安全协议的思想方法,即基于细粒度新鲜性分析安全协议。 ...
程正杰
关键词:新鲜性秘密性安全协议
文献传递
环链式n+1位奇偶校验码的存储方法
一种信息处理技术领域的环链式n+1位奇偶校验码的存储方法,包括以下步骤:对待存储文件进行分块处理,得到N个大小相同的原始数据块;采用现有的奇偶校验编码得到相邻的每两个原始数据块的冗余数据块,将冗余数据块放在对应的两个原始...
程正杰郑燕飞陈克非赖龙彬徐文强
文献传递
基于细粒度新鲜性的密码协议分析(详细摘要)
从新鲜性定义、秘密性定义两方面对基于细粒度新鲜性的密码协议进行了基本定义,阐述了其一些其他的基本符号表示,分析了初始假设和安全目标。根据新鲜性和秘密性的定义,对两方协议建立了一些基本规则,分析协议时通过对每条消息逐步应用...
程正杰陈克非来学嘉
关键词:密码协议
共1页<1>
聚类工具0