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

计算机应用 2023年第11期43卷 3368-3374页

作者：朱秀萍刘亚丽林昌露李涛董永权江苏师范大学计算机科学与技术学院江苏徐州221116 福建省网络安全与密码技术重点实验室(福建师范大学) 福州350117 广西密码学与信息安全重点实验室(桂林电子科技大学) 广西桂林541004

环签名具有自发性和匿名性,被广泛用于解决用户身份和数据隐私泄露问题;而无证书公钥密码体制不仅可以解决密钥托管问题,还不需要公钥证书的管理;无证书环签名则结合了上述两者的优点,具有广泛的研究意义,但现有大多数无证书环签名方案... 详细信息

环签名具有自发性和匿名性,被广泛用于解决用户身份和数据隐私泄露问题;而无证书公钥密码体制不仅可以解决密钥托管问题,还不需要公钥证书的管理;无证书环签名则结合了上述两者的优点,具有广泛的研究意义,但现有大多数无证书环签名方案基于双线性配对运算和模指数运算,计算成本高、效率低。为了提高签名阶段和验证阶段的效率,提出一种新的基于椭圆曲线的高效无证书环签名(ECL-RS)方案,使用了计算代价低、安全性高、灵活性好的椭圆曲线。该方案的安全性规约为离散对数困难问题和Diffie-Hellman问题,且在随机预言机模型(ROM)下证明了它能够抵抗公钥替换攻击和恶意密钥生成中心攻击,具有不可伪造性和匿名性。性能分析表明,ECL-RS方案只需(n+2)(n表示为环成员个数)次椭圆曲线标量乘法和标量加法运算,以及(n+3)次单向哈希运算,在保证安全的情况下具有较低的计算代价和更高的效率。

关键词：环签名椭圆曲线无证书环签名高效性随机预言机模型

来源：评论

学校读者我要写书评

暂无评论

基于时态测试器的实时分支时态逻辑模型检测

引用

软件学报 2022年第8期33卷 2930-2946页

作者：骆翔宇黄欣玥古天龙苏开乐陈祖希郑黎晓华侨大学计算机科学与技术学院福建厦门361021 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 暨南大学信息科学技术学院/网络空间安全学院广东广州510632 南京信息工程大学人工智能学院江苏南京210044

基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL... 详细信息

基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL*正时态测试器构造方法以及相关符号化模型检测算法,既证明了所提出的RTCTL*正时态测试器构造方法是完备的,也证明了该算法时间复杂度与被验证系统呈线性关系,与公式长度呈指数关系.基于JavaBDD软件包成功开发了该算法的模型检测工具MCTK2.0.0.完成了MCTK与著名的符号化模型检测工具nu Xmv之间的实验对比分析工作,结果表明:MCTK虽然在内存消耗上要多于nu Xmv,但是MCTK的时间复杂度双指数级小于nuXmv,使得利用MCTK验证大规模系统的实时时态性质成为可能.

关键词：符号化模型检测公平离散系统正时态测试器实时分支时态逻辑二元决策图

来源：评论

学校读者我要写书评

暂无评论

基于跨模态门控机制和改进融合方法的多模态情感分析

引用

计算机应用研究 2023年第7期40卷 2025-2030,2038页

作者：缪裕青杨爽刘同来张万桢朱林周明桂林电子科技大学计算机与信息安全学院广西桂林541004 桂林电子科技大学、广西图像图形与智能处理重点实验室广西桂林541004 桂林电子科技大学、广西密码学与信息安全重点实验室广西桂林541004 仲恺农业工程学院信息科学与技术学院广州510225 桂林航天工业学院工程综合训练中心广西桂林541004 桂林海威科技有限公司广西桂林541004

如何有效挖掘单模态表征并实现多模态信息的充分融合是多模态情感分析研究的重点之一。针对多模态情感分析中的模态间噪声和多模态特征融合不充分等问题,提出一种基于跨模态门控机制和改进融合方法的多模态情感分析模型。首先,利用跨模... 详细信息

如何有效挖掘单模态表征并实现多模态信息的充分融合是多模态情感分析研究的重点之一。针对多模态情感分析中的模态间噪声和多模态特征融合不充分等问题,提出一种基于跨模态门控机制和改进融合方法的多模态情感分析模型。首先,利用跨模态门控机制去除模态间噪声,提取互补信息以增强模态表示。然后,利用权重和相似约束分别关注不同模态情感贡献的差异性和情感表达的一致性。最后,结合模态的多层次表示获得情感分析的结果。在三个公开数据集上的实验结果表明,所提模型是有效的,相比已有的一些模型取得了更好的性能。

关键词：多模态情感分析模态间噪声跨模态门控机制多模态融合

来源：评论

学校读者我要写书评

暂无评论

考虑证据相关性的空调机组健康状态评估

引用

哈尔滨理工大学学报 2022年第2期27卷 99-105页

作者：韩晓霞高延子胡冠宇火箭军工程大学作战保障学院西安710025 北京科技大学新材料技术研究院北京100083 桂林电子科技大学计算机科学与信息安全学院桂林541004

针对空调机组健康状态评估中指标信息利用不充分的问题,提出了一种考虑证据相关性的健康状态评估方法。首先,构建了JDFX型空调机组健康状态评估指标体系。其次,依据证据推理理论,给出了考虑证据相关的证据推理规则,构建了JDFX型空调机... 详细信息

针对空调机组健康状态评估中指标信息利用不充分的问题,提出了一种考虑证据相关性的健康状态评估方法。首先,构建了JDFX型空调机组健康状态评估指标体系。其次,依据证据推理理论,给出了考虑证据相关的证据推理规则,构建了JDFX型空调机组健康状态评估模型,以获取空调机组的综合健康水平。最后,通过算例对6套JDFX型空调机组的健康状态进行了评估,给出了健康水平的排序结果。结果表明,相比于传统的层次分析法,所提方法能够更有效地利用健康指标信息和专家知识对空调机组进行健康状态评估,结果更合理可信。

关键词：控制理论健康管理空调机组证据推理规则健康状态评估层次分析法

来源：评论

学校读者我要写书评

暂无评论

基于阈值动态调整的重复数据删除方案

引用

软件学报 2021年第11期32卷 3563-3575页

作者：咸鹤群高原穆雪莲高文静青岛大学计算机科学技术学院山东青岛266071 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093 广西密码学与信息安全重点实验室(桂林电子科技大学) 广西桂林541004

云存储已经成为一种主流应用模式.随着用户及存储数据量的增加,云存储提供商采用重复数据删除技术来节省存储空间和资源.现有方案普遍采用统一的流行度阈值对所有数据进行删重处理,没有考虑到不同的数据信息具有不同的隐私程度这一实际... 详细信息

云存储已经成为一种主流应用模式.随着用户及存储数据量的增加,云存储提供商采用重复数据删除技术来节省存储空间和资源.现有方案普遍采用统一的流行度阈值对所有数据进行删重处理,没有考虑到不同的数据信息具有不同的隐私程度这一实际问题.提出了一种基于阈值动态调整的重复数据删除方案,确保了上传数据及相关操作的安全性.提出了理想阈值的概念,消除了传统方案中为所有数据分配统一阈值所带来的弊端.使用项目反应理论确定不同数据的敏感性及其隐私分数,保证了数据隐私分数的适用性,解决了部分用户忽视隐私的问题.提出了基于数据加密的隐私分数查询反馈机制,在此基础上,设计了流行度阈值随数据上传的动态调整方法.实验数据及对比分析结果表明,基于阈值动态调整的重复数据删除方案具有良好的可扩展性和实用性.

关键词：重复数据删除项目反应理论阈值动态调整理想阈值

来源：评论

学校读者我要写书评

暂无评论

基于OLH的效用优化本地差分隐私机制

引用

密码学报 2022年第5期9卷 820-833页

作者：贺星宇朱友文张跃南京航空航天大学计算机科学与技术学院南京211106 桂林电子科技大学广西密码学与信息安全重点实验室桂林541004 广西师范大学广西多源信息挖掘与安全重点实验室桂林541004

效用优化本地差分隐私模型能够在保证隐私的前提下提高估计结果准确度.但现有的效用优化本地差分隐私协议存在着数据效用低或通信代价大的问题.本文针对现有效用优化本地差分隐私协议难以兼顾低通信代价和高数据效用的不足,基于OLH(opti... 详细信息

效用优化本地差分隐私模型能够在保证隐私的前提下提高估计结果准确度.但现有的效用优化本地差分隐私协议存在着数据效用低或通信代价大的问题.本文针对现有效用优化本地差分隐私协议难以兼顾低通信代价和高数据效用的不足,基于OLH(optimized local hashing)协议提出了符合效用优化本地差分隐私模型的uOLH(utility-optimized OLH)协议.该协议在原始数据定义域很大时,同时具有低通信代价和高数据效用的特点,兼顾u RR(utility-optimized randomized response)和uRAP(utilityoptimized randomized aggregatable privacy-preserving ordinal response)二者优势.本文进一步考虑了用户的个性化隐私保护需求,构造了优化加权组合机制DWC(data weighted combination),在此基础上提出了个性化效用优化本地差分隐私协议uOLH-DWC.允许用户自由选择隐私级别,并能够提升估计结果的准确度,可输出多个隐私级别下的频率估计结果.在真实和模拟数据集上的实验结果表明,u OLH协议可以同时具有低通信代价与高数据效用,且uOLH-DWC协议可令用户自由选择隐私预算,并提升了各个隐私级别下估计结果的准确度.

关键词：本地差分隐私效用优化通信代价个性化

来源：评论

学校读者我要写书评

暂无评论

保护两方隐私的多类型的路网K近邻查询方案

引用

计算机科学 2024年第11期51卷 400-417页

作者：曾聪爱刘亚丽陈书仪朱秀萍宁建廷江苏师范大学计算机科学与技术学院江苏徐州221116 广西密码学与信息安全重点实验室(桂林电子科技大学) 广西桂林541004 河南省网络密码技术重点实验室郑州450001 福建省网络安全与密码技术重点实验室(福建师范大学) 福州350007

在车联网场景中,现有基于位置服务的隐私保护方案存在不支持多种类型K近邻兴趣点的并行查询、难以同时保护车辆用户和位置服务提供商(Location-Based Service Provider,LBSP)两方隐私、无法抵抗恶意攻击等问题。为了解决上述问题,提出... 详细信息

在车联网场景中,现有基于位置服务的隐私保护方案存在不支持多种类型K近邻兴趣点的并行查询、难以同时保护车辆用户和位置服务提供商(Location-Based Service Provider,LBSP)两方隐私、无法抵抗恶意攻击等问题。为了解决上述问题,提出了一种保护两方隐私的多类型的路网K近邻查询方案MTKNN-MPP。将改进的k-out-of-n不经意传输协议应用于K近邻查询方案中,实现了在保护车辆用户的查询内容隐私和LBSP的兴趣点信息隐私的同时,一次查询多种类型K近邻兴趣点。通过增设车载单元缓存机制,降低了计算代价和通信开销。安全性分析表明,MTKNN-MPP方案能够有效地保护车辆用户的位置隐私、查询内容隐私以及LBSP的兴趣点信息隐私,可以保证车辆的匿名性,能够抵抗合谋攻击、重放攻击、推断攻击、中间人攻击等恶意攻击。性能评估表明,与现有典型的K近邻查询方案相比,MTKNN-MPP方案具有更高的安全性,且在单一类型K近邻查询和多种类型K近邻查询中,查询延迟分别降低了43.23%~93.70%,81.07%~93.93%。

关键词：基于位置的服务两方隐私保护 K近邻查询不经意传输协议车联网多类型

来源：评论

学校读者我要写书评

暂无评论

基于近红外光谱和变分自编码建模鉴别多类药物

引用

光谱学与光谱分析 2020年第12期40卷 3946-3952页

作者：郑安兵杨辉华潘细朋尹利辉冯艳春北京邮电大学自动化学院北京100876 桂林电子技术大学计算机科学与信息安全学院广西桂林541004 中国食品药品检定研究院北京100050

不同厂商(品牌)的药品仍存在一定的差异,价格不同,有销售商家用低廉药物产品换上假的大品牌包装在市场上高价销售。无专利药品或无生产、销售(如走私进口药)许可资质的药品也有可能贴上伪造的正规品牌包装在市场上出售。这些药品逃避药... 详细信息

不同厂商(品牌)的药品仍存在一定的差异,价格不同,有销售商家用低廉药物产品换上假的大品牌包装在市场上高价销售。无专利药品或无生产、销售(如走私进口药)许可资质的药品也有可能贴上伪造的正规品牌包装在市场上出售。这些药品逃避药物监管和审批程序,损害消费者利益并给整个药物市场带来重大危害。因此,准确鉴别不同来源的药品在药品质量监管中具有重要意义。近红外光谱分析(NIR)具有仪器成本低、可直接测量、可无损检测、可现场检测等优点,特别适合药品的快速建模分析。采用近红外光谱直接鉴别出多个厂商、品种的药品,有重要应用价值同时又存在重大技术挑战,主要体现在需要有效的提取特征器和合适的分类器。自编码是深度学习方法中一个重要分支,它主要用于数据的非线性降维特征提取。变分自编码(VAE)是近年来最为流行的自编码算法,它通过变分法学习输入数据的一族欠完备的单变量正态分布特征,用以表示盲源因素对数据施加的影响,具有较强的特征提取能力,广泛应用于计算机视觉、语音识别等领域,在NIR分析方面未见报道。基于VAE,充分利用VAE既是特征提取器,又是数据生成器的优点,通过特殊设计的人工神经网络结构和损失函数,构建面向多品种、多厂商药品NIR分类模型。以29个厂商生产的4种药品(盐酸二甲双胍片,盐酸氯丙嗪片,马来酸氯苯那敏片,头孢呋辛酯片)的1 721个样本为实验对象,建立药品的多品种、多厂商分类鉴别实验。对比SVM, BP-ANN, PLS-DA等传统化学计量学算法及稀疏自编码(SAE)、深度信念网络(DBN)、深度卷积网络(CNN)等深度学习算法,其分类性能优良,同时具有良好的鲁棒性和可扩展性。

关键词：近红外光谱药品鉴别多分类深度学习VAE

来源：评论

学校读者我要写书评

暂无评论

可重构传感器系统关键技术研究

引用

物联网技术 2024年第6期14卷 41-46页

作者：刘明政张盛煜张会兵军事科学院系统工程研究院后勤科学与技术研究所北京100071 桂林电子科技大学计算机与信息安全学院广西桂林541004

文中研究了面向复杂环境感知的传感器系统可重构技术,并提出了具体的系统实现方案。该论文的主要工作包括:提出了面向环境参数动态感知的任务需求,设计了“协议转换单元+传感器管理服务平台”的系统结构模型,针对传感器系统设备动态识... 详细信息

文中研究了面向复杂环境感知的传感器系统可重构技术,并提出了具体的系统实现方案。该论文的主要工作包括:提出了面向环境参数动态感知的任务需求,设计了“协议转换单元+传感器管理服务平台”的系统结构模型,针对传感器系统设备动态识别与驱动/设备加载、感知设备硬件接口优化配置、感知数据解析与标准化转换等关键技术做出相应解决方案,并基于这些技术研制了面向复杂环境感知的可重构传感器系统,进行了详细测试验证。文中的研究成果有效提升了在突发情况下,面对复杂环境传感器的部署效率,为研究具备动态适配、快速重构典型特征的传感器系统提供了理论支持和工程应用价值。

关键词：复杂环境感知传感器系统可重构技术多传感器协议转换单元传感器管理服务平台

来源：评论

学校读者我要写书评

暂无评论

医疗大数据隐私保护多关键词范围搜索方案

引用

软件学报 2021年第10期32卷 3266-3282页

作者：张明武黄嘉骏韩亮湖北工业大学计算机学院湖北武汉430068 密码科学技术国家重点实验室北京100878 桂林电子科技大学计算机与信息安全学院广西桂林541004 Department of Computer Science and Electrical Engineering University of Missouri-Kansas CityKansas 64110USA

随着医疗信息系统的急速发展,基于医疗云的信息系统将大量电子健康记录(EHRs)存储在医疗云系统中,利用医疗云强大的存储能力和计算能力对EHRs数据进行安全与统一的管理.尽管传统加密机制可以保证医疗数据在半诚实云服务器中的机密性,但... 详细信息

随着医疗信息系统的急速发展,基于医疗云的信息系统将大量电子健康记录(EHRs)存储在医疗云系统中,利用医疗云强大的存储能力和计算能力对EHRs数据进行安全与统一的管理.尽管传统加密机制可以保证医疗数据在半诚实云服务器中的机密性,但对加密后的EHRs数据执行安全、快速、有效的范围搜索,仍是一个有待解决的关键问题.提出一种支持多关键词范围搜索的可搜索加密方案:利用向量积保持加密机制实现复杂查询结构的可搜索加密,可支持连接关键词查询、范围查询以及通配符的查询;通过随机化构建搜索索引和搜索陷门,实现搜索模式隐藏,达到搜索语句的隐私保护;采用矩阵哈达马积缩小所需密钥矩阵的维度.理论分析和实验结果表明:该方案在达到医疗数据隐私保证的同时,对用户的检索策略也进行了有效的隐私性保护,有效提高了检索效率,降低了创建索引及陷门所用时间,实现了多用户多文件下医疗数据的范围搜索能力.

关键词：隐私保护搜索加密非对称向量积加密哈达马积医疗云

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：