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

第39次全国计算机安全学术交流会

作者：王圣立裴培唐敏璐上海市计算机软件评测重点实验室上海计算机软件技术开发中心中国融通医疗健康集团有限公司上海四一一医院

随着数字时代的到来,信息传播的安全性面临前所未有的挑战.数据泄露、隐私侵犯、网络攻击等问题日益凸显,严重威胁着个人隐私和国家安全.商用密码技术作为保障信息安全的关键手段,在网络传播中的应用变得尤为关键.从传播学视角出发,探... 详细信息

随着数字时代的到来,信息传播的安全性面临前所未有的挑战.数据泄露、隐私侵犯、网络攻击等问题日益凸显,严重威胁着个人隐私和国家安全.商用密码技术作为保障信息安全的关键手段,在网络传播中的应用变得尤为关键.从传播学视角出发,探讨了商用密码技术在不同网络传播渠道中的创新应用与策略.

关键词：网络安全信息安全商用密码技术网络传播

来源：评论

学校读者我要写书评

暂无评论

数字医疗中的访问控制综述

引用

信息安全与通信保密 2023年第11期 92-103页

作者：杨启良蔡立志唐敏璐孟茹杨波上海计算机软件技术开发中心上海201112 上海计算机软件评测重点实验室上海201112 格尔软件股份有限公司上海201112 陕西师范大学陕西西安710119

随着互联网技术的快速发展,医疗服务逐渐向数字信息化转型,分布式医疗机构间的数据共享成为一种趋势。访问控制作为数据共享的主要方式受到了业界广泛的关注。基于属性的加密技术由于可实现细粒度的访问控制,被广泛应用于医疗领域。通... 详细信息

随着互联网技术的快速发展,医疗服务逐渐向数字信息化转型,分布式医疗机构间的数据共享成为一种趋势。访问控制作为数据共享的主要方式受到了业界广泛的关注。基于属性的加密技术由于可实现细粒度的访问控制,被广泛应用于医疗领域。通过分析目前数字医疗场景中访问控制技术的研究现状,总结出有待解决的问题。将区块链与访问控制技术相结合具有广阔的应用前景。此外,总结了访问控制的常用技术。最后,对数字医疗中基于区块链的访问控制技术发展提出未来展望。

关键词：数字医疗隐私保护安全多方计算访问控制属性基加密区块链

来源：评论

学校读者我要写书评

暂无评论

面向空地协同移动边缘计算的服务布置策略

引用

计算机学报 2022年第4期45卷 781-797页

作者：屈毓锛秦蓁马靖豪戴海鹏董超王海吴帆陈贵海南京航空航天大学电磁频谱空间认知动态系统工信部重点实验室南京航空航天大学电子信息工程学院上海交通大学计算机科学与工程系中国人民解放军陆军工程大学通信工程学院南京大学计算机软件新技术国家重点实验室

无人机辅助的移动边缘计算被认为是在下一代移动通信网络中能高效灵活处理时延敏感的计算密集型任务的潜力技术之一.本文研究了基于无人机的空地协同移动边缘计算的服务布置问题，具体而言，如何在满足任务时延需求和其他资源约束的情... 详细信息

无人机辅助的移动边缘计算被认为是在下一代移动通信网络中能高效灵活处理时延敏感的计算密集型任务的潜力技术之一.本文研究了基于无人机的空地协同移动边缘计算的服务布置问题，具体而言，如何在满足任务时延需求和其他资源约束的情况下，通过联合优化无人机和地面基站的服务布置、无人机航迹、任务卸载和计算资源分配，以最小化所有用户的总能耗.由于问题的非凸和各种变量的复杂耦合，该问题属于一个非凸混合整数非线性规划问题，较难求解.本文针对多无人机和多地面基站协同提供计算服务的场景，提出了一种基于交替优化的服务布置算法.该算法通过迭代求解三个不同的子问题来获得具有收敛性保证的次优解决方案.首先，采用分支定界法求解联合服务布置和任务卸载的子问题.其次，采用连续凸逼近方法求解无人机航迹优化的子问题.然后，利用计算资源分配子问题的特性得到该子问题的闭式最优解.最后，对上述过程重复迭代，得到问题的一个次优解.仿真结果表明，相比随机布置策略、贪心布置策略、本地计算策略，所提布置策略能够大大减少用户总能耗.

关键词：移动边缘计算空地协同无人机服务布置交替优化

来源：评论

学校读者我要写书评

暂无评论

一种SCADE同步语言程序安全属性自动验证工具

引用

小型微型计算机系统 2022年第4期43卷 858-864页

作者：孙毅陈哲冉丹杨志斌南京航空航天大学计算机科学与技术学院南京211106 华东师范大学上海市高可信计算重点实验室上海200062 南京大学计算机软件新技术国家重点实验室南京210093

安全关键领域的反应系统大都采用同步语言开发,然而,学术界尚不存在SCADE同步语言程序的形式化验证工具,为此,本文提出了一种自动验证SCADE同步语言程序安全属性的方法.首先使用无量词一阶逻辑公式对SCADE同步语言程序的行为进行建模,可... 详细信息

安全关键领域的反应系统大都采用同步语言开发,然而,学术界尚不存在SCADE同步语言程序的形式化验证工具,为此,本文提出了一种自动验证SCADE同步语言程序安全属性的方法.首先使用无量词一阶逻辑公式对SCADE同步语言程序的行为进行建模,可将SCADE同步语言程序的安全属性的验证问题转化为无量词一阶逻辑公式的可满足性问题;然后采用先进的可满足性模理论求解器对其可满足性进行求解.本方法旨在实现对SCADE同步语言程序进行自动地、直接地验证,以填补SCADE同步语言程序验证领域的技术空白.此外,本文对所提方法进行了代码实现,并通过实验验证了所提方法的有效性.

关键词：反应系统 SCADE同步语言形式化验证一阶逻辑可满足性模理论

来源：评论

学校读者我要写书评

暂无评论

一种监控系统的链路跟踪型日志数据的存储设计

引用

软件学报 2021年第5期32卷 1302-1321页

作者：尤勇汪浩任天顾胜晖孙佳林美团点评上海200335 南京大学软件学院江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

随着软件系统越来越复杂化和分布化,为系统提供具有完善功能的监控服务显得越来越重要.APM(application performance management)系统通过采集软件系统运行时的各项指标数据来分析软件的运行状态,例如CPU、内存使用率、垃圾回收的耗时、... 详细信息

随着软件系统越来越复杂化和分布化,为系统提供具有完善功能的监控服务显得越来越重要.APM(application performance management)系统通过采集软件系统运行时的各项指标数据来分析软件的运行状态,例如CPU、内存使用率、垃圾回收的耗时、QPS等指标.此外,APM系统也会在软件运行中生成各种日志数据.通常来说,它能提供的监控数据分为3种:指标统计数据、链路跟踪(tracing)数据以及离散事件记录.这些数据有助于系统或者服务的维护人员理解运行状态,从而确保系统或者服务的稳定运行.基于开源的APM监控系统——CAT系统,提出了一种针对tracing类型数据的存储设计方案,通过内存块批量写入的方式提升存储效率,并设计了两级索引以提高查询效率.从线上的真实运行数据来看,该方案在写入性能和查询性能方面均有较好的表现.

关键词：监控系统日志存储两级索引

来源：评论

学校读者我要写书评

暂无评论

自然语言处理系统测评及标准化研究

引用

信息技术与标准化 2023年第10期 48-56,63页

作者：赵春昊陈敏刚徐斯颖丁敏捷索照青上海依图网络科技有限公司上海市计算机软件评测重点实验室上海计算机软件技术开发中心上海财经大学香港大学中国香港

自然语言处理作为人工智能领域的重要分支,近年来得到了显著的发展。为填补我国在自然语言处理系统测评标准化建设的空白,介绍了自然语言处理技术及测评发展现状,梳理了自然语言处理国内外相关标准,针对自然语言处理系统测评标准化需求... 详细信息

自然语言处理作为人工智能领域的重要分支,近年来得到了显著的发展。为填补我国在自然语言处理系统测评标准化建设的空白,介绍了自然语言处理技术及测评发展现状,梳理了自然语言处理国内外相关标准,针对自然语言处理系统测评标准化需求研究提出测评指标体系,并提出了一种自然语言处理系统测评标准化流程和方法。

关键词：自然语言处理系统测评标准化

来源：评论

学校读者我要写书评

暂无评论

进化算法与符号执行结合的程序复杂度分析方法

引用

计算机科学 2021年第12期48卷 107-116页

作者：周晟伊曾红卫上海大学计算机工程与科学学院上海200444 上海市计算机软件评测重点实验室上海201112

程序的最坏执行路径是计算程序复杂度的一项重要指标,有助于发现系统可能存在的复杂性漏洞。近年来将符号执行应用于程序复杂度分析的研究取得了不小的进展,但现有方法存在通用性较差、分析时间较长的问题。文中提出一种面向最坏路径探... 详细信息

程序的最坏执行路径是计算程序复杂度的一项重要指标,有助于发现系统可能存在的复杂性漏洞。近年来将符号执行应用于程序复杂度分析的研究取得了不小的进展,但现有方法存在通用性较差、分析时间较长的问题。文中提出一种面向最坏路径探测的进化算法——EvoWca,其核心思想是利用程序在较小输入规模下的已知最坏路径特征指导较大输入规模下初始路径集合的构建,然后模拟进化算法,对路径进行组合、突变和选择迭代,使得在搜索范围内探测到的最坏路径逼近于最坏时间复杂度对应的路径。基于该算法实现了一个用于程序复杂度分析的原型工具EvoWca2j,使用该工具和已有技术对一组Java程序进行最坏路径探索和执行效率评估,实验结果表明,相比现有方法,EvoWca2j的通用性和探索效率都有明显提高。

关键词：复杂度分析符号执行进化算法路径探测最坏执行路径

来源：评论

学校读者我要写书评

暂无评论

人工智能系统质量与测评技术及标准化研究

引用

信息技术与标准化 2022年第9期 22-28,35页

作者：乐琼华赵毅马珊珊陈敏刚陈文捷上海计算机软件技术开发中心上海市计算机软件评测重点实验室中国电子技术标准化研究院

参考国内外人工智能(AI)质量与测评技术标准,提出了人工智能系统的质量评估框架。详细阐述了人工智能系统在其生存周期内不同纬度的质量评价重点,分析了人工智能系统与传统软件系统在质量特性方面的区别,并针对人工智能系统在测评方面... 详细信息

参考国内外人工智能(AI)质量与测评技术标准,提出了人工智能系统的质量评估框架。详细阐述了人工智能系统在其生存周期内不同纬度的质量评价重点,分析了人工智能系统与传统软件系统在质量特性方面的区别,并针对人工智能系统在测评方面的挑战,探讨了人工智能测评技术在提升人工智能系统质量特性中做出的贡献。

关键词：人工智能系统质量人工智能测评技术人工智能标准

来源：评论

学校读者我要写书评

暂无评论

面向金融云的超高吞吐新型金融DMZ网络

引用

计算机应用与软件 2021年第2期38卷 110-113,139页

作者：涂晓军孙权蔡立志中国银联股份有限公司上海201201 复旦大学上海200433 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

DMZ网络区域是金融行业非常典型的一个网络区域,用于隔离不可信外网与可信内网之间的网络流量。针对现有DMZ区域成本高昂、吞吐性能无法水平扩展等问题,提出并实现一种极简架构、超高吞吐的金融DMZ区实现方法,可以减小DMZ区部署设备数... 详细信息

DMZ网络区域是金融行业非常典型的一个网络区域,用于隔离不可信外网与可信内网之间的网络流量。针对现有DMZ区域成本高昂、吞吐性能无法水平扩展等问题,提出并实现一种极简架构、超高吞吐的金融DMZ区实现方法,可以减小DMZ区部署设备数量与复杂度,同时提升吞吐性能。

关键词：开放交换机自主可控金融云

来源：评论

学校读者我要写书评

暂无评论

RDMA技术在数据中心中的应用研究

引用

计算机应用与软件 2021年第3期38卷 22-25,45页

作者：涂晓军孙权蔡立志中国银联股份有限公司上海201201 复旦大学上海200433 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

随着云计算向数据化智能化的方向演进,数据的流转与有效利用将为业务带来核心价值。大规模深度学习、机器训练等应用是极其依赖算力的,大量的信息交互对网络提出了很高的要求,由此需要一个低时延、无丢包、高吞吐的算力网络。考察RDMA[1... 详细信息

随着云计算向数据化智能化的方向演进,数据的流转与有效利用将为业务带来核心价值。大规模深度学习、机器训练等应用是极其依赖算力的,大量的信息交互对网络提出了很高的要求,由此需要一个低时延、无丢包、高吞吐的算力网络。考察RDMA[1]技术在数据中心中的应用,并分析其对于未来云数据中心高性能集群计算的影响。

关键词： RDMA 低延时大算力网络

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：