孙海波

作品数：5被引量：17H指数：3
导出分析报告
供职机构：中国科学院更多>>
发文主题：密码协议串空间协议安全性分析安全协议参数辨识方法更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《软件学报》《计算机工程与应用》《电子学报》《激光与光电子学进展》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于点云配准的卫星运动参数辨识方法被引量：8
《激光与光电子学进展》2019年第14期203-212,共10页鲁荣荣 孙海波 付双飞 朱枫 郝颖明 
创新基金(CXJJ-17S032)
为了实现空间翻滚卫星(同时作自旋和进动的卫星)的消旋,提出了一种非接触式的卫星运动参数辨识方法。算法主要包含3个步骤:通过点云配准技术,获取相邻两幅点云之间的位姿变换关系,从而可以依据这些位姿变换得到卫星点云中每个点的运动轨...
关键词：机器视觉 点云配准 卫星消旋 参数辨识 运动估计 
基于理想的协议安全性分析被引量：3
《软件学报》2005年第12期2150-2156,共7页孙海波 林东岱 李莉 
国家自然科学基金;国家高技术研究发展计划(863);国家重点基础研究发展规划(973)~~
1998年,Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.利用理想的结...
关键词：串空间 密码协议 理想 
基于零知识集的群组密钥分配方案被引量：4
《电子学报》2005年第2期345-349,共5页孙海波 林东岱 
国家自然科学基金 (No .90 2 0 4 0 1 6 ;No .60 3730 4 8) ;国家 863项目 (No.2 0 0 3AA1 4 4 0 30 )
零知识集是一种新的具有零知识性质的集合 .这种集合的构造使得证明者对于任意元素都可以给出一个证明 ,证明该元素属于这个集合或者不属于这个集合 ,同时不泄漏额外的信息 .本文基于Pedersen承诺设计一种新的群组密钥分配方案 ,利用零...
关键词：零知识集 Pedersen承诺 群组密钥分配协议 
交叉协议安全性分析被引量：1
《计算机工程与应用》2004年第33期173-175,共3页孙海波 林东岱 李莉 
国家自然科学基金(编号:60373048);国家自然科学基金(编号:NSFC90204016);国家863高技术研究发展计划课题(编号:2003AA144030)
串空间理论是一种新兴的用于密码协议形式化分析的方法。该文将利用串空间理论对交叉协议的安全性进行分析,并利用图论中关于有向图的路径长度来说明在何种条件下多个协议交叉运行可以保持协议本身的安全性。
关键词：串空间 密码协议 交叉协议 
基于单向陷门函数的TMN协议的改进被引量：1
《中国科学院研究生院学报》2002年第3期254-262,共9页孙海波 林东岱 
973资助项目(NKBRSF G1998030609);863资助项目(2001AA144030)
提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式,利用串空间理论证明了它的安全性,并给出了几个具体的实现形式.
关键词：TMN协议 串空间理论 单向陷门函数 安全协议 移动通信系统 密码协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部