检索结果-内蒙古大学图书馆

软件学报 2025年第5期 2270-2287页

作者：李玮秦梦洋谷大武连晟温云华东华大学计算机科学与技术学院上海交通大学计算机科学与工程系上海市可扩展计算与系统重点实验室(上海交通大学) 上海市信息安全综合管理技术研究重点实验室(上海交通大学)

DEFAULT是于2021年亚洲密码学年会中提出的一种新型轻量级密码算法,适用于保护物联网中的微型芯片、微控制器和传感器等设备的信息安全.基于唯密文的基本假设,针对DEFAULT密码提出了一种基于代数关系的统计故障分析方法.该方法使用随机... 详细信息

DEFAULT是于2021年亚洲密码学年会中提出的一种新型轻量级密码算法,适用于保护物联网中的微型芯片、微控制器和传感器等设备的信息安全.基于唯密文的基本假设,针对DEFAULT密码提出了一种基于代数关系的统计故障分析方法.该方法使用随机半字节故障模型,通过对代数关系的构造分析并结合故障注入前后中间状态的统计分布变化来破译密码.此外,采用AD检验-平方欧氏距离(AD-SEI)、AD检验-极大似然估计(ADMLE)和AD检验-汉明重量(AD-HW)等新型区分器,最少仅需1 344个故障即可以99%及以上的成功率破解该算法的128比特原始密钥.理论分析和实验结果表明, DEFAULT密码不能抵抗基于代数关系的统计故障分析的攻击.该研究为其他轻量级分组密码算法的安全性分析提供了有价值的参考.

关键词： DEFAULT 轻量级密码系统密码分析统计故障分析代数关系

来源：评论

学校读者我要写书评

暂无评论

格签名综述

引用

密码学报(中英文) 2025年第2期12卷 265-282页

作者：夏雯雯谷大武王更西安电子科技大学网络与信息安全学院西安710071 上海交通大学LoCCS实验室上海200240 上海交通大学计算机科学与工程系上海200240

目前尚未有有效的量子算法能够在多项式时间内攻破格上困难问题,故基于格的密码协议的相关研究是当下公钥密码学领域的研究热点.本文对当前基于格的数字签名方案进行了汇总和整理,按构造方式将它们分为了三大类:GGH/NTRUSign格密码方案... 详细信息

目前尚未有有效的量子算法能够在多项式时间内攻破格上困难问题,故基于格的密码协议的相关研究是当下公钥密码学领域的研究热点.本文对当前基于格的数字签名方案进行了汇总和整理,按构造方式将它们分为了三大类:GGH/NTRUSign格密码方案、基于格的Hash-and-Sign方案和基于格的Fiat-Shamir签名方案,目前所有格签名方案均使用了其中的一种或两种构造方式.本文按此分类列举了典型的格签名方案,重点描述了入选NIST后量子签名方案标准的两个格签名方案Falcon和Dilithium,以及NIST于2023年公布候选的7个格签名方案.此外,本文还对目前现有的几种格签名方案在安全参数与执行效率方面进行了对比评估,对格签名在设备及应用部署上给出了建议.最后对格签名方案发展未来进行了展望.

关键词：格签名 GGH NTRU Hash-and-Sign Fiat-Shamir

来源：评论

学校读者我要写书评

暂无评论

基于PKCS的数据安全框架及支持库设计

引用

上海交通大学学报 2000年第6期34卷 813-817页

作者：王怀伯李林张申生上海交通大学计算机科学与工程系计算机集成技术实验室上海200030

提出了一个基于 PKCS( Public Key Cryptography Standards)的数据安全框架 .该框架的最底层是输入、输出与编码模块 ,它主要实现了 BER( Basic Encoding Rule) /DER( Distinguish En-coding Rule)、Base64等编码与解码 ,以及与多种存... 详细信息

提出了一个基于 PKCS( Public Key Cryptography Standards)的数据安全框架 .该框架的最底层是输入、输出与编码模块 ,它主要实现了 BER( Basic Encoding Rule) /DER( Distinguish En-coding Rule)、Base64等编码与解码 ,以及与多种存储点之间的输入与输出 .此模块中使用流模块结构实现一次性处理 .PKCS所涉及的算法基础类库是整个框架的核心 ,其上是 X.50 9证书服务模块与 PKCS#7、PKCS#1 2数据保护模块 .框架中的个人安全环境管理模块主要用于维护用户口令、私钥和证书等信息 .文中提出的

关键词：数据安全框架密码学 PKCS 支持库设计

来源：评论

学校读者我要写书评

暂无评论

安全协议匿名性形式化分析

引用

上海交通大学学报 2008年第4期42卷 523-528页

作者：宋琳蔡小娟上海交通大学计算机科学与工程系BASICS实验室上海200240

改进了一般安全协议模型GSPM,提出了一个新的框架GSPM#,以弥补GSPM框架没有研究安全协议匿名性的不足.同时,用不同的方法定义了新框架下的匿名性,包括事件匿名性和数据匿名性.最后,以DCP(Dining Cryptographers Protocol)和它的变体为例... 详细信息

改进了一般安全协议模型GSPM,提出了一个新的框架GSPM#,以弥补GSPM框架没有研究安全协议匿名性的不足.同时,用不同的方法定义了新框架下的匿名性,包括事件匿名性和数据匿名性.最后,以DCP(Dining Cryptographers Protocol)和它的变体为例,进行了匿名性分析的实例研究.

关键词：安全协议匿名性 GSPM

来源：评论

学校读者我要写书评

暂无评论

制药行业BOM的数据库设计及算法的研究

引用

计算机工程 2006年第1期32卷 270-272页

作者：张翠丽张申生李磊上海交通大学计算机科学与工程系CIT实验室上海200030

物料清单(BOM)是ERP系统中极其重要的部分。制药行业的BOM除了具有BOM的通用性外,还具有本身的特点。该文在分析制药行业BOM特点的基础上,介绍了适合制药行业BOM的合理的数据库设计和高效的物料低位码计算算法、成品分解算法和任务分解... 详细信息

物料清单(BOM)是ERP系统中极其重要的部分。制药行业的BOM除了具有BOM的通用性外,还具有本身的特点。该文在分析制药行业BOM特点的基础上,介绍了适合制药行业BOM的合理的数据库设计和高效的物料低位码计算算法、成品分解算法和任务分解算法,采用存储过程实现。

关键词：物料清单企业资源计划物料需求计划制药行业存储过程

来源：评论

学校读者我要写书评

暂无评论

面向对象软件扇入耦合度量研究

引用

计算机工程 2006年第6期32卷 76-78页

作者：段永红张申生黄鹤远上海交通大学计算机科学与工程系CIT实验室上海200030

针对C&K度量组中耦合度量指标(CBO)没有区分扇入耦合和扇出耦合对软件质量影响的情况,提出了一组正交的对象间扇入耦合度量组,并对该度量组中各度量指标对软件质量的指示作用进行了讨论。在Frank Sauer开发的基于Eclipse度量计算插... 详细信息

针对C&K度量组中耦合度量指标(CBO)没有区分扇入耦合和扇出耦合对软件质量影响的情况,提出了一组正交的对象间扇入耦合度量组,并对该度量组中各度量指标对软件质量的指示作用进行了讨论。在Frank Sauer开发的基于Eclipse度量计算插件的基础上实现了该度量组中各度量指标的自动计算。最后,通过对JUnit3.8.1和JUnit7.0扇入耦合度量计算结果的分析,验证了该文提出的扇入耦合度量组的有效性。

关键词： C&K度量组对象耦合度量(CBO) 扇入耦合

来源：评论

学校读者我要写书评

暂无评论

基于规则的服务流程配置模型与系统

引用

计算机集成制造系统 2009年第8期15卷 1547-1554页

作者：杨娟曹健上海交通大学计算机科学与工程系协同计算与智能技术实验室上海200240

在现有的服务流程应用中,由于业务复杂性,标准服务流程与变化的业务需求通常不相符合。为提高企业的响应能力,提出了一种服务流程配置模型和系统。在流程运行过程中,通过激发合适的配置规则序列,对服务流程实施个性化配置,并允许用户在... 详细信息

在现有的服务流程应用中,由于业务复杂性,标准服务流程与变化的业务需求通常不相符合。为提高企业的响应能力,提出了一种服务流程配置模型和系统。在流程运行过程中,通过激发合适的配置规则序列,对服务流程实施个性化配置,并允许用户在流程自动化配置的基础上实施二次配置,同时提供基于流程修改日志的规则挖掘模块,学习流程在特定上下文下的配置方式,实现对服务流程知识库的自动扩充。

关键词：业务需求服务流程配置规则挖掘可执行规则序列

来源：评论

学校读者我要写书评

暂无评论

服务流程的自动数据映射

引用

计算机集成制造系统 2012年第8期18卷 1686-1692页

作者：陈姣娟曹健上海交通大学计算机科学与工程系协同计算与智能技术实验室上海200240

为解决服务流程中数据流建模因复杂而易出错的问题,提出一种服务流程的服务之间数据映射的自动生成方式。该方式将流程中每个服务的输入参数与可能为它提供数据的服务的输出参数作匹配,得到每个输入参数的最佳匹配,从而自动生成服务之... 详细信息

为解决服务流程中数据流建模因复杂而易出错的问题,提出一种服务流程的服务之间数据映射的自动生成方式。该方式将流程中每个服务的输入参数与可能为它提供数据的服务的输出参数作匹配,得到每个输入参数的最佳匹配,从而自动生成服务之间的数据映射。该方式利用服务输入、输出参数的模式描述,采用自动模式匹配技术进行模式之间的匹配,同时结合服务流程的相关信息提高匹配的准确率,自动生成流程的数据流,使得用户只需关注服务之间的逻辑组合,不必在数据映射过程上浪费大量的时间和精力,提高了工作流系统的可用性。

关键词：服务流程业务过程执行语言数据流自动映射工作流

来源：评论

学校读者我要写书评

暂无评论

面向价格动态变化的云工作流调度算法

引用

计算机集成制造系统 2013年第8期19卷 1849-1858页

作者：郑敏曹健姚艳上海交通大学计算机科学与工程系协同计算与智能技术实验室上海200240

为解决资源价格变动环境中云工作流任务调度开销优化的问题,提出一种基于动态规划的云工作流资源调度算法。该算法将云工作流中的任务分为多个串行任务组,然后利用动态规划算法对每组任务进行调度,计算在该任务组规定完成时间内开销最... 详细信息

为解决资源价格变动环境中云工作流任务调度开销优化的问题,提出一种基于动态规划的云工作流资源调度算法。该算法将云工作流中的任务分为多个串行任务组,然后利用动态规划算法对每组任务进行调度,计算在该任务组规定完成时间内开销最低的调度方案。通过实验,与状态图搜索算法进行了比较,在被调度的资源的价格为可变函数时,计算了四种工作流模型的调度结果。结果表明,所提动态规划算法比考虑资源平均价格的状态图搜索算法有更好的表现。

关键词：工作流云计算调度动态规划资源价格

来源：评论

学校读者我要写书评

暂无评论

脉冲强化学习算法研究综述

引用

计算机学报 2023年第10期46卷 2132-2160页

作者：陈鼎黄杨茹彭佩玺黄铁军田永鸿上海交通大学计算机科学与工程系上海200240 北京大学计算机学院北京100871 鹏城实验室广东深圳518055

借助人工神经网络(Artificial Neural Network,ANN),深度强化学习在游戏、机器人等复杂控制任务中取得了巨大的成功.然而,在认知能力与计算效率等方面,深度强化学习与大脑中的奖励学习机制相比仍存在着巨大的差距.受大脑中基于脉冲的通... 详细信息

借助人工神经网络(Artificial Neural Network,ANN),深度强化学习在游戏、机器人等复杂控制任务中取得了巨大的成功.然而,在认知能力与计算效率等方面,深度强化学习与大脑中的奖励学习机制相比仍存在着巨大的差距.受大脑中基于脉冲的通信方式启发,脉冲神经网络(Spiking Neural Network,SNN)使用拟合生物神经元机制的脉冲神经元模型进行计算,具有处理复杂时序数据的能力、极低的能耗以及较强的鲁棒性,并展现出了持续学习的潜力.在神经形态工程以及类脑计算领域中,SNN受到了广泛的关注,被誉为是新一代的神经网络.通过将SNN与强化学习相结合,脉冲强化学习算法被认为是发展人工大脑的一个可行途径,并能够有效解释生物大脑中的发现.作为神经科学与人工智能的交叉学科,脉冲强化学习算法涵盖了一大批杰出的研究工作.根据对不同领域的侧重,这些研究工作主要可以分为两大类:一类是以更好地理解大脑中的奖励学习机制为目的,用于解释动物实验中的发现,并对大脑学习进行仿真,例如R-STDP学习规则;另一类则是以实际控制任务中的性能、功耗等具体指标为导向,用作人工智能的一种鲁棒且低能耗的解决方案,在机器人、自主控制等领域具有巨大的应用潜力.本文首先介绍了脉冲强化学习算法的基础(即脉冲神经网络以及强化学习),然后对当前这两大类脉冲强化学习算法的研究特点与研究进展等进行分析.对于第一类算法,本文重点分析了利用三因素学习规则实现的强化学习算法,并回顾了其生理学背景以及具体实现方式.根据在训练过程中是否使用ANN,本文将第二类算法分为依托ANN实现的脉冲强化学习算法与基于脉冲的直接强化学习算法,并率先对这一脉冲强化学习算法的最新进展进行了系统性的梳理与分析,同时全面展示了在深度强化学习算法中应用SNN的不同方式.最后,本文对该领域的研究挑战以及后续研究方向进行了深入地探讨,总结了当前研究的优势与不足,并对其未来对神经科学以及人工智能领域可能产生的影响进行展望,以吸引更多研究人士参与这个新兴方向的交流与合作.

关键词：脉冲神经网络强化学习类脑智能人工智能神经形态工程

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：