徐小岩
- 作品数：7 被引量：24H指数：3
- 供职机构：解放军理工大学指挥自动化学院更多>>
- 发文基金：国家自然科学基金国家重点实验室开放基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术军事电子电信更多>>
- 基于密钥隔离的直接匿名证明方案被引量：1
- 2011年
- 为了降低可信平台的密钥泄漏对直接匿名证明方案造成的破坏,提出一种基于密钥隔离的直接匿名证明方案KIDAA.首先将系统时间划分成若干时间段,然后对可信平台的私钥采取进化的处理办法,在不同的时间片段内使用不同的私钥,使得个别时间段内的私钥泄漏不会危害其他时间片段内的安全性.把可信平台的私钥分成2个部分,交给可信平台模块TPM和可信平台保存,在每个时间片段内,可信平台只有在TPM的帮助下,才能够获得完整的私钥信息.在签名过程中使用了双线性映射,缩短了签名长度,降低了TPM的计算量.最后,在DLIN假设和q-SDH假设的基础上,对KIDAA的安全性进行了分析和证明.分析表明,该方案满足密钥隔离性、不可伪造性和可变匿名性.
- 锁琰乐康徐小岩张毓森
- 关键词：直接匿名证明群签名密钥隔离双线性映射
- 一种安全的分布式群签名方案被引量：3
- 2011年
- 在标准模型下提出了一种分布式群签名方案,并分析了方案的正确性和安全性.分析结果表明,合法的群成员可以代表群生成有效的群签名,仲裁者可以打开签名,且可以判断群管理者是否伪装成合法的群成员.同时,该方案利用分布式协助器辅助每个时间段群成员密钥的升级,不但实现了该签名的前向安全和后向安全性,而且避免了协助器单点失效所带来的群成员无法升级的后果,从而在抵抗群成员私钥泄露的基础上,增强了群签名方案的健壮性和可用性.
- 锁琰李晓辉徐小岩张毓森
- 关键词：群签名密钥隔离双线性映射
- 基于可靠拓扑的高可用性网络核心问题分析被引量：4
- 2004年
- 如何建设下一代集成服务的高可用性网络是网络界的研究方向之一 基于可靠拓扑研究了高可用性网络 ,在网络可用性宏观定义的基础上 ,讨论并分析了影响高可用性网络构建的 7类核心问题 ,包括网络体系结构设计、服务管理、资源管理、网络安全、开放式应用、网络管理及指标的评估等 ,指出在设计高可靠性网络架构中 ,应对其进行综合的衡量 提出下一代高可用性网络的设计应本着需求牵引、服务为核心的原则
- 裴波张衡张宁张毓森徐小岩
- 关键词：可用性网络体系结构服务管理资源管理
- 基于生物免疫特性的主机免疫模型被引量：1
- 2004年
- 针对传统计算机安全防护理论的不足,提出了一种采用生物免疫思想解决主机安全问题的方法。该方法确定了主机免疫系统的目标,即实现自适应分布式主机安全防护,设计了主机免疫系统的结构框架,对各组成部分进行定义和描述,同时给出了生物免疫系统与主机免疫模型组件映射关系表,在此基础上提出了系统的数学模型并讨论了模型的重要特征,重点对分布式特性、协同刺激和多样性进行了分析。讨论与仿真结果表明,该设计基本达到主机免疫系统模型的5项设计目标。
- 裴波张衡张宁张毓森徐小岩
- 关键词：免疫自然免疫系统
- C^4ISR系统需求获取的方法研究被引量：13
- 2004年
- 由于C4ISR系统的特殊性 ,获得C4ISR系统的需求是一个非常复杂、困难和代价高昂的事情。本文运用领域工程的思想 ,提出了基于领域模型的系统需求获取方法 ,通过领域模型 ,引导用户给出完整的系统需求 ,并最终通过需求框架给出完整的系统需求模型。
- 裴波王聪徐小岩
- 关键词：UML
- 基于服务器的层次过滤机制的HLA/RTI实现方案——RTI-ICE
- 2002年
- HLA(HighLevelArchitecture)是美国国防部 (DOD)提出的新一代仿真技术框架 ,其目的是解决各种类型仿真应用之间的互操作和仿真部件的可重用。本文简要介绍了HLA提出的背景及HLA核心RTI(RunTimeInfrastructure)的功能。本文还介绍了基于服务器 (Server)的层次过滤机制 。
- 石晶龚震宇王学涛徐小岩
- 关键词：高层体系结构仿真
- 支持组件动态更新的远程证明被引量：2
- 2011年
- 将密钥隔离安全机制应用到基于组件属性的远程证明中,并分析方案的正确性和安全性.分析结果表明:未及时更新或者被恶意代码攻击的组件将丧失安全属性,不再具有远程证明能力.实现了无证书的组件证明,省略了验证证书的过程,减少了验证方的负担,并结合现有的可信计算完整性管理模式,给出了实现过程.
- 锁琰徐小岩张毓森张涛桂荆京杨莉乐康
- 关键词：可信计算远程证明密钥隔离双线性映射
