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

上海交通大学学报 2010年第2期44卷 282-286页

作者：时舒森孙锬锋蒋兴浩上海交通大学信息安全工程学院上海200240 上海市信息安全综合管理技术研究重点实验室上海200240

提出一种鲁棒自适应差分能量视频水印算法,采用差分能量原理并利用Watson视觉模型,自适应地控制视频流中交流次低频系数的水印嵌入强度因子,根据能量可调阈值与差分能量的关系,有选择地嵌入水印,从而使得水印不仅满足视觉上不可感知性,... 详细信息

提出一种鲁棒自适应差分能量视频水印算法,采用差分能量原理并利用Watson视觉模型,自适应地控制视频流中交流次低频系数的水印嵌入强度因子,根据能量可调阈值与差分能量的关系,有选择地嵌入水印,从而使得水印不仅满足视觉上不可感知性,而且拥有更好的鲁棒性.实验证明,算法对常见的视频攻击(噪声、滤波、帧攻击等)具有较强的鲁棒性,算法安全性高.

关键词：视觉模型自适应差分能量次低频系数

来源：评论

学校读者我要写书评

暂无评论

基于SRP协议的相互认证与密钥交换方案

引用

计算机工程 2004年第16期30卷 42-44页

作者：刘严敏施建俊李建华上海交通大学电子工程系上海市信息安全综合管理技术研究重点实验室上海200030

在分析SRP协议的基础上,提出一种基于智能卡的改进方案,该方案利用智能卡提供的安全存储环境和独立的安全计算环境,不仅能有效抵抗上述两种攻击,而且适用于用户间相互认证、用户与多台服务器相互认证的场合。

关键词：认证密钥交换校验符智能卡

来源：评论

学校读者我要写书评

暂无评论

使用智能卡的动态口令认证机制

引用

计算机工程 2005年第24期31卷 172-174页

作者：邓飞进范磊施建俊上海交通大学电子工程系上海市信息安全综合管理技术研究重点实验室上海200030

动态口令身份认证机制是目前身份认证技术发展的一个重要方向。但是在很多动态口令机制中,用户的认证数据通常利用在服务器储存的验证因子进行掩码传输,如果验证因子被盗,攻击者就可以伪造验证数据,因此动态口令认证机制易遭受盗窃攻击... 详细信息

动态口令身份认证机制是目前身份认证技术发展的一个重要方向。但是在很多动态口令机制中,用户的认证数据通常利用在服务器储存的验证因子进行掩码传输,如果验证因子被盗,攻击者就可以伪造验证数据,因此动态口令认证机制易遭受盗窃攻击。最近提出了一种新的抗盗窃攻击的动态口令认证方案2GR,但是2GR不能抵抗拒绝服务攻击,也没有提供用户和服务器的双向认证。将在2GR方案的基础上提出一个基于智能卡的改进方案,该方案能解决上述问题。

关键词：身份认证强口令动态口令智能卡

来源：评论

学校读者我要写书评

暂无评论

烟花算法在SAR图像属性散射中心参数估计中的应用

引用

红外与激光工程 2022年第8期51卷 471-477页

作者：周志洪陈秀真马进夏正敏上海交通大学网络安全技术研究院上海200240 上海市信息安全综合管理技术研究重点实验室上海200240

针对合成孔径雷达(SAR)属性散射中心估计问题,提出基于烟花算法的方法。首先,在图像域对SAR图像中高能量区域进行分割解耦,获得单个独立散射中心在图像域的表现形式。在此基础上,以属性散射中心参数化模型为基础,构建优化问题,对分离出... 详细信息

针对合成孔径雷达(SAR)属性散射中心估计问题,提出基于烟花算法的方法。首先,在图像域对SAR图像中高能量区域进行分割解耦,获得单个独立散射中心在图像域的表现形式。在此基础上,以属性散射中心参数化模型为基础,构建优化问题,对分离出来的单个散射中心进行最优参数的搜索。在此阶段,引入烟花算法进行参数寻优。该算法具有强大的全局和局部搜索能力,在保证优化精度的条件下避免陷入局部最优,从而保证散射中心参数估计的可靠性。在原始图像中剔除求解后的单个散射中心,对残余图像进行高能量区域分割,序惯估计下一个散射中心的属性参数。最终,获取输入SAR图像上所有散射中心的参数集。实验中,首先基于MSTAR数据集中的SAR图像进行参数估计验证,通过参数估计结果与原始图像的对比以及基于估计参数集对原始图像进行重构,反映了提出算法的有效性。此外,实验还基于估计得到的属性参数进行SAR目标识别算法验证,通过与其他参数估计算法在相同条件下进行识别性能的对比,进一步体现了提出方法在属性散射中心参数估计上的性能优势。

关键词：合成孔径雷达属性散射中心参数估计烟花算法

来源：评论

学校读者我要写书评

暂无评论

基于扩展Canetti-Krawczyk模型的认证密钥交换协议的模块化设计与分析

引用

计算机研究与发展 2011年第8期48卷 1390-1399页

作者：潘嘉昕王立斌华南师范大学计算机学院广州510631 上海市信息安全综合管理技术研究重点实验室上海200240

提出一种模块化的扩展Canetti-Krawczyk模型(简称meCK模型)以摆脱认证密钥交换协议对随机预言机的依赖.首先将认证密钥交换协议划分为秘密交换模块和密钥派生模块,并分别形式化定义其攻击者的能力与安全属性;然后综合上述模块得到认证... 详细信息

提出一种模块化的扩展Canetti-Krawczyk模型(简称meCK模型)以摆脱认证密钥交换协议对随机预言机的依赖.首先将认证密钥交换协议划分为秘密交换模块和密钥派生模块,并分别形式化定义其攻击者的能力与安全属性;然后综合上述模块得到认证密钥交换协议的模块化安全模型,并证明所提出的安全定义蕴涵原始的扩展Canetti-Krawczyk安全.借助协议模块化分析的思想,设计了一种高效且在标准模型下可证明安全的认证密钥交换协议(简称UPS协议).在meCK模型下,UPS协议的安全性可有效归约到伪随机函数簇、目标抗碰撞Hash函数簇和GapDiffie-Hellman等标准密码学假设上.与其他标准模型下可证明安全的协议相比,UPS协议所需的密码学假设更弱、更标准,且指数运算次数降低了50%～67%.最后,UPS协议的构造与安全性验证了所提出的模块化方法的合理性和有效性,并解决了ProvSec09上的一个公开问题.

关键词：可证明安全认证密钥交换协议 Canetti-Krawczyk模型标准模型 GapDiffie-Hellman

来源：评论

学校读者我要写书评

暂无评论

行为驱动的基于角色的信任管理

引用

软件学报 2009年第8期20卷 2298-2306页

作者：李斓范磊回红上海交通大学信息安全工程学院上海200240 上海信息安全综合管理技术研究重点实验室上海200240

给出了描述行为驱动的信任管理语言RTB.将变量引入到角色中可以记录用户的累积行为状态;行为驱动的信任规则根据用户已发生的行为调整其在本信任域中被分配的角色;组合规则提高了信任判定的效率;信任策略更新规则允许信任域在系统状态... 详细信息

给出了描述行为驱动的信任管理语言RTB.将变量引入到角色中可以记录用户的累积行为状态;行为驱动的信任规则根据用户已发生的行为调整其在本信任域中被分配的角色;组合规则提高了信任判定的效率;信任策略更新规则允许信任域在系统状态发生变化时自动调整信任策略.描述了行为驱动的信任管理的实现框架,并讨论了优化实现的几种机制.

关键词：信任管理行为驱动基于角色信任规则信任委托

来源：评论

学校读者我要写书评

暂无评论

基于加权一阶局域法的公共拥塞检测方法

引用

上海交通大学学报 2010年第2期44卷 287-291,296页

作者：张清源潘理訾小超上海交通大学电子信息与电气工程学院上海200240 上海市信息安全综合管理技术研究重点实验室上海200240

利用拥塞环境下网络业务流的混沌特性,提出了一种基于加权一阶局域法的公共拥塞检测方法.采用混沌信号处理方法对延时采样序列进行分析,能够迅速地判断出2个流是否通过了同一段拥塞链路.仿真结果表明,在长TCP(Transmission Control Prot... 详细信息

利用拥塞环境下网络业务流的混沌特性,提出了一种基于加权一阶局域法的公共拥塞检测方法.采用混沌信号处理方法对延时采样序列进行分析,能够迅速地判断出2个流是否通过了同一段拥塞链路.仿真结果表明,在长TCP(Transmission Control Protocol)流,短TCP流,UDP(Us-er Datagram Protocol)流3种网络环境下,该方法具有比相关方法更好的性能,对于开发协同拥塞控制算法以及智能重叠网络的构建都有良好的应用前景.

关键词：混沌预测加权一阶局域法公共拥塞检测

来源：评论

学校读者我要写书评

暂无评论

人工智能对抗攻击研究综述

引用

上海交通大学学报 2018年第10期52卷 1298-1306页

作者：易平王科迪黄程顾双驰邹福泰李建华上海交通大学上海市信息安全综合管理技术研究重点实验室电子信息与电气工程学院上海200240

随着人工智能的广泛应用,人工智能安全也开始引起人们的关注,其中人工智能对抗攻击已经成为人工智能安全研究热点.为此,介绍了对抗攻击的概念和产生对抗样本的原因,主要因为模型判断边界与真实系统边界的不一致导致对抗空间的存在;论述... 详细信息

随着人工智能的广泛应用,人工智能安全也开始引起人们的关注,其中人工智能对抗攻击已经成为人工智能安全研究热点.为此,介绍了对抗攻击的概念和产生对抗样本的原因,主要因为模型判断边界与真实系统边界的不一致导致对抗空间的存在;论述了几种经典生成对抗样本的方法,包括快速梯度和雅克比映射攻击,对抗攻击的主要思路是寻找模型梯度变化最快方向,按这个方向加入扰动从而导致模型误判;论述了检测对抗攻击的方法和对抗攻击的防御方法,并提出未来的一些研究方向.

关键词：人工智能人工智能安全深度学习对抗攻击对抗学习

来源：评论

学校读者我要写书评

暂无评论

包间隔流关联技术中的同步问题研究

引用

计算机研究与发展 2011年第9期48卷 1643-1651页

作者：张璐罗军舟杨明何高峰东南大学计算机科学与工程学院南京210096 上海市信息安全综合管理技术研究重点实验室上海200240

包间隔(inter-packetdelay,IPD)是流关联技术中应用最为广泛的流特征之一,通过在输出流中选取合适的报文样本,计算其基于IPD的统计特征值,并利用关联算法计算与输入流之间的相似性.然而,在传输过程中网络上的各种干扰会破坏流之间的同步... 详细信息

包间隔(inter-packetdelay,IPD)是流关联技术中应用最为广泛的流特征之一,通过在输出流中选取合适的报文样本,计算其基于IPD的统计特征值,并利用关联算法计算与输入流之间的相似性.然而,在传输过程中网络上的各种干扰会破坏流之间的同步性,导致关联起始时间、包间隔等对应关系的错位,严重影响流关联技术的检测率.详细分析了对流的各种干扰,提出基于匹配集的同步思想,为输入流中的每个关联点在输出流中指定若干可能的映射.以贪心法和递进法为基本思路分别提出了同步算法,可以有效提高流同步技术的效果.实验结果表明,该方法能够解决存在干扰的情况下的流同步问题,对提高流关联技术的检测率具有显著效果.

关键词：流关联包间隔匹配集最佳匹配同步算法

来源：评论

学校读者我要写书评

暂无评论

基于二进制序列集合的策略合成代数框架

引用

上海交通大学学报 2013年第4期47卷 579-583页

作者：刘晨燕潘理訾小超上海交通大学电子信息与电气工程学院上海200240 上海市信息安全综合管理技术研究重点实验室上海200240

从代数建模和实现机制相融合的角度出发,提出了一种基于二进制序列集合的策略合成代数框架.首先通过定义二进制序列集合元素及构造集合运算规则,将策略抽象成逻辑模型.然后针对多终端二进制决策树(MTBDD)的逻辑建模机制中存在的编码次... 详细信息

从代数建模和实现机制相融合的角度出发,提出了一种基于二进制序列集合的策略合成代数框架.首先通过定义二进制序列集合元素及构造集合运算规则,将策略抽象成逻辑模型.然后针对多终端二进制决策树(MTBDD)的逻辑建模机制中存在的编码次序敏感以及规则冗余问题,提出了基于二进制序列的移位合并算法.最后推导基于二进制序列的合成语义算子,建立该代数框架.通过时间复杂性分析和仿真实验,验证了该框架的有效性,其合成性能优于基于MTBDD策略树的合成机制.

关键词：访问控制属性策略合成

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：