孙海波
- 作品数：11 被引量：28H指数：3
- 供职机构：中国科学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 交叉协议安全性分析
- 串空间理论是一种新兴的用于密码协议形式化分析的方法.本文中我们将利用串空间理论对于交叉协议的安全性进行分析,并利用图论中关于有向图的路径长度来说明在何种条件下多个协议交叉运行可以保持协议本身的安全性.
- 孙海波林东岱李莉
- 关键词：串空间密码协议信息安全
- 文献传递
- 串空间理论在网络安全协议形式化分析中应用
- 网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长.同时由于安全要求的多样化以及攻击方式的层出不穷使得对于网络安全协议的形式化分析的效率和准确性提出了更高的要求.原有的形式化分析方法通常不可避免地出现状态空间...
- 孙海波林东岱黄寄洪
- 关键词：串空间安全协议网络协议密码协议
- 文献传递
- 理想在协议分析中的进一步应用
- 串空间理论自提出后成为了一种重要的协议形式化分析方法。由于理想结构的特殊性使得Guttman等人在文献[1]中第一次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性。
本文中我们将对于理想在分析其他协...
- 孙海波林东岱李莉
- 关键词：认证性
- 文献传递
- 串空间理论与TMN协议的改进及分析
- 在该文中我们首先详细介绍串空间理论以及TMN协议的产生和发展过程.并以串空间理论为工具分析了该协议曾经存在的漏洞.然后就如何增强现有的TMN协议的安全性提出了几种改进方法.我们主要讨论了如何利用大数分解,离散对数的困难问...
- 孙海波
- 关键词：串空间公钥密码学
- 文献传递
- 基于零知识集的群组密钥分配方案被引量：6
- 2005年
- 零知识集是一种新的具有零知识性质的集合 .这种集合的构造使得证明者对于任意元素都可以给出一个证明 ,证明该元素属于这个集合或者不属于这个集合 ,同时不泄漏额外的信息 .本文基于Pedersen承诺设计一种新的群组密钥分配方案 ,利用零知识集的性质实现密钥分配 .协议不仅保证了组成员可以安全动态的获得组密钥 ,而且保证了组成员除了获取组密钥 ,不会得到群组中其它成员的相关信息 .与先前工作相比 ,本文提出的方案提供了更高的安全特性 ,适合应用于一些较特殊的网络应用 ,如网络秘密会议 .
- 孙海波林东岱
- 一种基于点云配准的卫星运动参数辨识方法被引量：7
- 2019年
- 为了实现空间翻滚卫星(同时作自旋和进动的卫星)的消旋,提出了一种非接触式的卫星运动参数辨识方法。算法主要包含3个步骤:通过点云配准技术,获取相邻两幅点云之间的位姿变换关系,从而可以依据这些位姿变换得到卫星点云中每个点的运动轨迹;基于自旋轴上的点只绕进动轴旋转的特点,借助主成分分析与圆拟合的方式,搜索自旋轴上的点并确定进动轴的方向和位置;根据整体位姿变换与两种运动间的关系,建立非线性方程组求解出翻滚卫星的运动参数。仿真实验结果表明,在一定的噪声程度下,所提方法可以准确地辨识出空间翻滚卫星的运动参数。
- 鲁荣荣孙海波孙海波付双飞朱枫
- 关键词：机器视觉点云配准参数辨识
- 基于理想的协议安全性分析被引量：10
- 2005年
- 1998年,Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.并在1999年第1次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.利用理想的结构来分析协议的一些安全性质,例如保密性、认证性、零知识性以及如何抵抗猜测攻击.
- 孙海波林东岱李莉
- 关键词：串空间密码协议
- 基于项节点图模型的前向安全性分析
- 目前对基于口令的密钥交换协议的安全性分析大多只考虑了基本安全性而没有考虑前向安全性;口令的泄漏不会会导致旧的会话密钥的泄漏;长期秘密的泄漏不会导致口令的泄漏.文中对这类协议的前向安全性进行了讨论.提出一个项节点图模型,在...
- 李莉孙海波薛锐张焕国冯登国
- 关键词：密钥交换协议口令
- 文献传递
- 交叉协议安全性分析被引量：3
- 2004年
- 串空间理论是一种新兴的用于密码协议形式化分析的方法。该文将利用串空间理论对交叉协议的安全性进行分析,并利用图论中关于有向图的路径长度来说明在何种条件下多个协议交叉运行可以保持协议本身的安全性。
- 孙海波林东岱李莉
- 关键词：串空间密码协议
- 基于理想的协议安全性分析
- 1998年Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.文献[1]中第一次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系....
- 孙海波林东岱李莉
- 关键词：串空间密码协议
- 文献传递
