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

软件学报 2023年第5期34卷 2465-2481页

作者：侯慧莹宁建廷黄欣沂赵运磊复旦大学计算机科学技术学院上海200433 福建省网络安全与密码技术重点实验室(福建师范大学) 福建福州350007 福建师范大学计算机与网络空间安全学院福建福州350007 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093 综合业务网络国家重点实验室(西安电子科技大学) 陕西西安710071

可验证定时签名(VTS)方案允许在给定的时间内对已知消息上的签名进行锁定,在执行时间为T的顺序计算后,任何人都可从时间锁(time-lock)中提取出该签名.可验证性保证了在无需解开时间锁的情况下,任何人都可以公开地验证时间锁中是否包含... 详细信息

可验证定时签名(VTS)方案允许在给定的时间内对已知消息上的签名进行锁定,在执行时间为T的顺序计算后,任何人都可从时间锁(time-lock)中提取出该签名.可验证性保证了在无需解开时间锁的情况下,任何人都可以公开地验证时间锁中是否包含已知消息上的合理签名,且可以在执行时间T的顺序计算后获得该签名.提出了可验证的属性基定时签名(verifiable attribute-based timed signatures,VABTS)概念,并给出了一个可撤销和可追溯的VABTS方案(RT-VABTS)的具体构造.RT-VABTS方案可同时支持签名者身份隐私保护、动态的用户撤销、可追溯性和定时性,并能解决属性基密码中的密钥托管问题.VABTS具有非常广阔的应用前景,特别列举了VABTS的两种应用场景:构建准入区块链中隐私保护的支付通道网络和实现公平的隐私多方计算.最后,通过形式化的安全性分析和性能评估证明实例化的RT-VABTS方案是安全且高效的.

关键词：定时签名属性基签名隐私保护可追溯性支付通道网络

来源：评论

学校读者我要写书评

暂无评论

一种抗窃听和污染攻击的网络编码方案

引用

福建师范大学学报（自然科学版） 2014年第2期30卷 42-48页

作者：周赵斌许力李世唐罗晓晴福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室福建福州350117

网络编码的应用能够有效地提高网络整体性能,如提高网络吞吐量、均衡网络负载、提高带宽利用率、增强网络的鲁棒性等,但是单纯地利用网络编码不能较好地解决窃听(被动攻击)和污染(主动攻击)两大安全问题.针对以上安全问题,提出一种抗窃... 详细信息

网络编码的应用能够有效地提高网络整体性能,如提高网络吞吐量、均衡网络负载、提高带宽利用率、增强网络的鲁棒性等,但是单纯地利用网络编码不能较好地解决窃听(被动攻击)和污染(主动攻击)两大安全问题.针对以上安全问题,提出一种抗窃听和污染攻击的网络编码方案,该方案通过对数据进行编码,使得对信道进行窃听的敌手无法得到原始数据信息,进而有效地抵抗了窃听攻击,并且利用列表译码算法有效地抵抗污染攻击.通过理论分析证明了该方案能有效地增强网络安全性,并且能够提高网络鲁棒性.

关键词：网络编码窃听攻击污染攻击列表译码算法哈希函数

来源：评论

学校读者我要写书评

暂无评论

并发系统中基于优先级的调度分析

引用

计算机科学 2016年第S2期43卷 523-528,535页

作者：朱振宇张仕蒋建民吴亚洲杨启帆福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室福州350007

当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发,而这些指导原则抽象且无法保证分解系统的正确性。为此,对基于优先级控制的系统分解方法展开研究,提出一种系统分解的方法,并在理论上证明该分解... 详细信息

当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发,而这些指导原则抽象且无法保证分解系统的正确性。为此,对基于优先级控制的系统分解方法展开研究,提出一种系统分解的方法,并在理论上证明该分解方法的正确性。首先采用基于事件的行为模型对系统进行建模;接着定义调度、调度策略和调度策略正确性的概念;然后研究调度策略的分解方法,并证明了调度策略分解方法的正确性;最后根据该方法,开发出一种支持依赖模型建模和调度策略分解的原型工具,通过实例的演示,说明了使用该方法可以把系统分解成若干个子系统,从而设计出正确和有效的调度策略,以达到正确分解系统的目的。

关键词：优先级调度策略分解正确性

来源：评论

学校读者我要写书评

暂无评论

一种支持悬赏的匿名电子举报方案的安全性分析及设计

引用

电子学报 2009年第8期37卷 1826-1829页

作者：王化群于红吕显强张福泰大连水产学院信息工程学院辽宁大连116023 福建师范大学网络安全与密码技术重点实验室福建福州350007 南京师范大学数学与计算机科学学院江苏南京210097

对Miao-wang-Miao-Xiong匿名电子举报方案进行了安全性分析,指出其存在的安全性缺陷,该方案不满足其要求的举报信息机密性,以及不满足对举报人提供有效的激励机制.设计了破坏这两种性质的攻击方法.为设计满足要求的支持悬赏的匿名电子... 详细信息

对Miao-wang-Miao-Xiong匿名电子举报方案进行了安全性分析,指出其存在的安全性缺陷,该方案不满足其要求的举报信息机密性,以及不满足对举报人提供有效的激励机制.设计了破坏这两种性质的攻击方法.为设计满足要求的支持悬赏的匿名电子举报方案,利用安全的基于双线性对的举报受理者公钥加密方案、安全的指定验证者的环签名方案提出了一种支持悬赏的匿名电子举报方案设计模式.经安全性分析,设计模式是安全的.

关键词：匿名电子举报指定验证者环签名双线性对

来源：评论

学校读者我要写书评

暂无评论

基于分簇结构的Ad Hoc网络中门限密钥管理方案

引用

福建师范大学学报（自然科学版） 2007年第5期23卷 31-35页

作者：章红艳许力叶阿勇陈志德福建师范大学数学与计算机科学学院网络安全与密码技术重点实验室福建福州350007

基于分簇的网络结构给出了一种新的Ad Hoc网络密钥管理方案.方案中无需可信赖的第三方,并且使用了门限技术将PKG(public key generation)的功能分散到簇头节点上,提高了系统的安全性.采用基于身份的加密算法,用户之间无需进行公钥认证,... 详细信息

基于分簇的网络结构给出了一种新的Ad Hoc网络密钥管理方案.方案中无需可信赖的第三方,并且使用了门限技术将PKG(public key generation)的功能分散到簇头节点上,提高了系统的安全性.采用基于身份的加密算法,用户之间无需进行公钥认证,有效地降低了用户终端计算、存储能力的需求和系统密钥管理的通信开销.

关键词： Ad Hoc网络分簇密钥管理门限

来源：评论

学校读者我要写书评

暂无评论

一种基于VCG机制的物联网安全路由协议

引用

福建师范大学学报（自然科学版） 2015年第5期31卷 21-28页

作者：夏有华许力林晖周赵斌福建省网络安全与密码技术重点实验室福建师范大学数学与计算机科学学院福建福州350117

设计安全的路由协议以确保网络与隐私信息安全是物联网面临的一个巨大挑战.将机制设计理论引入物联网安全路由协议的设计中,提出一种新的VCG(Vickrey-Clark-Groves)机制,然后将VCG机制应用到路由协议中,设计出安全路由协议PALX,并分析... 详细信息

设计安全的路由协议以确保网络与隐私信息安全是物联网面临的一个巨大挑战.将机制设计理论引入物联网安全路由协议的设计中,提出一种新的VCG(Vickrey-Clark-Groves)机制,然后将VCG机制应用到路由协议中,设计出安全路由协议PALX,并分析证明了PALX的有效性与安全性.仿真结果表明PALX能有效的抵御欺骗攻击和诽谤攻击.

关键词：物联网网络安全路由协议 VCG机制

来源：评论

学校读者我要写书评

暂无评论

一种适应概念漂移数据流的分类算法

引用

山东大学学报（工学版） 2012年第4期42卷 1-7页

作者：郭躬德李南陈黎飞福建师范大学数学与计算机科学学院福建福州350007 福建师范大学网络安全与密码技术重点实验室福建福州350007

针对带有概念漂移的数据流的分类问题,提出一种新颖的能够识别并且适应概念漂移数据流的分类算法。该算法将原始数据流沿着时间轴划分为若干数据块后,选择第一块中有代表性的数据作为样本训练模型,从而减轻了噪声和边界对分类精度的影响... 详细信息

针对带有概念漂移的数据流的分类问题,提出一种新颖的能够识别并且适应概念漂移数据流的分类算法。该算法将原始数据流沿着时间轴划分为若干数据块后,选择第一块中有代表性的数据作为样本训练模型,从而减轻了噪声和边界对分类精度的影响,使得漂移检测能较为全面且对离群点不过于敏感;此后对随后的数据块进行分类,并依据分类结果动态修正当前分类模型。实验结果表明:该方法能够根据数据流的当前状况自动调整分类模型,快速适应数据流概念漂移的情况,并得到较好的分类效果。

关键词：概念漂移数据流分类离群点时间轴

来源：评论

学校读者我要写书评

暂无评论

基于颜色内容一致性的视频篡改检测

引用

福建师范大学学报（自然科学版） 2014年第2期30卷 26-33页

作者：李海涛林新棋吴鹏高智詹晓珊福建师范大学数学与计算机科学学院福建福州350117 福建师范大学网络安全与密码技术重点实验室福建福州350117

研究假设视频同源帧插入、异源帧插入、替换、删除篡改能够导致视觉内容发生变化,并致力于以底层特征为基础建立这种微小变化数学模型.首先,提取RGB 3个通道的彩色直方图作为底层特征,采用直方图相交法定义视频帧之间的颜色内容一致性值... 详细信息

研究假设视频同源帧插入、异源帧插入、替换、删除篡改能够导致视觉内容发生变化,并致力于以底层特征为基础建立这种微小变化数学模型.首先,提取RGB 3个通道的彩色直方图作为底层特征,采用直方图相交法定义视频帧之间的颜色内容一致性值;其次,采用拉依达准则设定阈值,一旦待检测视频帧的颜色内容一致性值小于自适应阈值,则判定该帧被篡改了.实验结果表明该假设是合理,有效的,所设计的算法能够检测出道路监控视频、背景相对复杂视频中的同源帧插入、异源帧插入、替换、删除的篡改.

关键词：视频篡改彩色直方图一致性值自适应阈值

来源：评论

学校读者我要写书评

暂无评论

面向异构物联网的轻量级网络构建层设计

引用

福建师范大学学报（自然科学版） 2016年第3期32卷 31-39页

作者：陈旖许力张美平福建省网络安全与密码技术重点实验室福建师范大学数学与计算机科学学院福建福州350117

针对物联网设备通讯方式多样且数量众多的特点,设计了一种可支持多种物联网通讯技术的轻量级网络构建层方案.方案设计了一套将物联网内部通讯连接映射到网关端口的转换机制,并根据物联网实际的部署环境设计了内网穿透和拥塞控制机制,其... 详细信息

针对物联网设备通讯方式多样且数量众多的特点,设计了一种可支持多种物联网通讯技术的轻量级网络构建层方案.方案设计了一套将物联网内部通讯连接映射到网关端口的转换机制,并根据物联网实际的部署环境设计了内网穿透和拥塞控制机制,其中设计的轻量级物联网网关可通过以太网和移动网络连接互联网,并在软硬件平台上进行了实现与测试,应用实例和分析结果表明该方案能够支持物联网中多种异构的感知识别网连入互联网.

关键词：物联网 NAPT技术内网穿透拥塞控制

来源：评论

学校读者我要写书评

暂无评论

安全的多候选人电子投票方案的改进

引用

福建师范大学学报（自然科学版） 2015年第3期31卷 32-38页

作者：杨婷婷林昌露张胜元福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室福建福州350007

对孙培勇等人提出的多候选人电子投票方案进行了安全分析,指出其存在的安全问题,并利用分布式El Gamal加密体制的同态性给出了一个安全的改进方案.

关键词：电子投票安全多方求和完全保密性分布式ElGamal加密

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：