周雁舟
- 作品数：43 被引量：122H指数：6
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划武器装备预研基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理理学更多>>
- 一种密钥分配方案在PPV条件接收系统中的应用被引量：1
- 2006年
- 条件接收是实现PPV业务的重要技术,而其中的密钥分发效率和安全性又是影响条件接收系统性能的关键因素。文章在基于四层密钥分配方案的基础上,提出了平衡树分层模型及相应密钥分发方法,该方法具有最优的密钥分发效率。
- 黄伟健周雁舟刘文清
- 关键词：密钥分配平衡树
- 基于概率模型检测的SysML活动图验证方法被引量：2
- 2016年
- 针对系统建模语言(systems modeling language,SysML)活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器(PRISM)对SysML活动图模型进行检测的分析验证框架,并提出一种把SysML活动图转化为相应的PRISM可执行模型的转化规则。利用该转化规则可以把SysML活动图模型转化为概率模型检测器支持的格式,实现对模型的精确分析和定量验证。实验结果表明,该规则能够有效对SysML活动图模型进行转化,为模型检测提供支持。
- 严亚伟周雁舟
- 关键词：系统建模语言活动图概率模型检测
- 基于代理的隐私CA模型被引量：1
- 2010年
- 身份证明是可信计算的基本特征,针对隐私CA可能成为证明过程的性能瓶颈且不存在合适的商业模型的问题,提出了一种基于代理的隐私CA模型,通过代理代替隐私CA签发身份证明证书和引入有效性证书,能有效降低隐私CA负载,提供更强的隐私保护能力,增强隐私CA的安全性,并在此基础上提出了对涉及的3类公钥证书进行撤销的有效方法。
- 李超零周雁舟李立新户家富
- 关键词：可信计算隐私保护代理
- 基于l-MOMSDH假设的短群签名DAA方案
- 提出将标准模型下基于l-MOMSDH假设的短群签名方案作用于DAA协议,该协议基于Fiat-shamir启发式设计思想,完成了协议知识签名的数学构造,实现了非交互式零知识证明到知识签名的转化.具有签名长度短、运行效率高及...
- 周雁舟张焕国李立新宋扬
- 关键词：可信计算平台远程证明直接匿名证明短群签名
- 文献传递
- 基于学习向量量化神经网络的软件可靠性预测被引量：2
- 2012年
- 针对传统的软件可靠性预测模型在实际应用中存在预测泛化性能不佳等问题,提出一种基于学习向量量化(LVQ)神经网络的软件可靠性预测模型。首先分析了LVQ神经网络的结构特点以及它与软件可靠性预测的联系,然后运用该网络来进行软件可靠性的预测,并基于美国国家航空航天局(NASA)软件数据项目中的实例数据集,运用Matlab工具进行了仿真实验。通过与传统预测方法的对比,证明该方法具有可行性和较高的预测泛化性能。
- 乔辉周雁舟邵楠
- 关键词：软件可靠性预测泛化性能学习向量量化神经网络映射网络MATLAB仿真
- 基于AGA-LVQ神经网络的软件可靠性预测模型研究被引量：12
- 2013年
- 针对当前大多数软件可靠性预测模型预测准确率不高等问题,利用LVQ神经网络的非线性运算能力和自适应遗传算法(AGA)的参数寻优能力,提出了一种基于AGA-LVQ的软件可靠性预测模型。首先对待预测的数据用主成分分析(PCA)等方法进行预处理以降低维度,去除冗余和错误数据,然后根据自适应遗传算法来计算最优的LVQ神经网络初始权值向量,最后运用LVQ神经网络进行软件可靠性预测实验。通过与传统方法的对比,证明该方法具有较高的预测准确率。
- 乔辉周雁舟邵楠高杨粟登银
- 关键词：软件可靠性预测模式识别LVQ神经网络自适应遗传算法主成分分析
- 基于混合混沌序列的对称图像加密算法设计被引量：6
- 2008年
- 通过对部分数字化混沌图像加密算法的分析研究,设计了一种混沌对称图像加密算法。该对称图像加密算法以Logistic映射和Chebyshev映射生成的混沌序列为初始序列,以AES算法的S盒变换和记忆存储作为非线性变换。实验结果证明,算法克服了初始混沌序列和初始信号的相关性,输出的序列满足平衡性、大周期、高线性复杂度和理想的相关特性等基本的密码特性。算法设计环节中加入了记忆成份和压缩环节,使得针对这两个混沌映射的现有分析方法不再有效,并且可以实现较高的加密速度。
- 郭锦娣周雁舟
- 关键词：混沌密码LOGISTIC映射CHEBYSHEV映射图像加密加密算法
- 基于可信计算平台的统一认证系统模型
- 将数字证书技术、认证代理技术和可信计算技术相结合,针对园区网环境,提出了一种基于可信计算平台的统一认证系统模型,该模型通过在计算终端引入可信平台模块、对用户身份统一认证、对计算平台进行身份及完整性验证等方法,解决了存在多...
- 李福林李立新周雁舟徐宁
- 关键词：公钥基础设施可信计算
- 文献传递
- 基于新活动演算的SysML活动图形式化描述
- 2015年
- 针对Sys ML(Systems Modeling Language)活动图自身缺乏精确语义描述的不足,提出使用新活动演算来表示Sys ML活动图形式化语义的方法。通过分析Sys ML活动图的基本图符及其特点,对活动演算进行重新设计,增加了概率因子,并且在新活动演算中针对性地定义相应语法和操作语义。利用改进后的新活动演算实现了对Sys ML活动图的形式化描述,最后通过实例证明了所提出方法的有效性和实用性。
- 惠文涛周雁舟邵楠严亚伟
- 关键词：SYSML活动图形式化描述
- 基于l-MOMSDH假设的短群签名DAA方案被引量：1
- 2010年
- 提出将标准模型下基于l-MOMSDH假设的短群签名方案作用于DAA协议,该协议基于Fiat-Shamir启发式设计思想,完成了协议知识签名的数学构造,实现了非交互式零知识证明到知识签名的转化.具有签名长度短、运行效率高及标准模型下可证安全等特性,提高了现有协议的安全性,同时兼顾协议执行效率.
- 周雁舟张焕国李立新宋扬
- 关键词：可信计算平台远程证明直接匿名证明短群签名
