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

软件学报 2019年第6期30卷 1721-1741页

作者：司徒凌云王林章李宣东刘杨南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 School of Computer Science and Engineering Nanyang Technological University Singapore 210023 Singapore

缓冲区溢出漏洞是危害最为广泛和严重的安全漏洞之一,彻底消除缓冲区溢出漏洞相当困难.学术界、工业界提出了众多缓冲区溢出漏洞检测技术与工具.面对众多的工具,使用者如何结合自身需求有效地选择工具,进而应用到漏洞的检测与修复、预... 详细信息

缓冲区溢出漏洞是危害最为广泛和严重的安全漏洞之一,彻底消除缓冲区溢出漏洞相当困难.学术界、工业界提出了众多缓冲区溢出漏洞检测技术与工具.面对众多的工具,使用者如何结合自身需求有效地选择工具,进而应用到漏洞的检测与修复、预防与保护、度量与评估等方面,是具体而实际的问题.解决这一问题,需要在各异的用户需求与多样的缓冲区溢出检测技术与工具之间建立一张条理清晰、便于用户理解和使用的映射图谱.站在使用者的立场,在概述缓冲区溢出漏洞类型与特征的基础上,从软件生命周期阶段的检测与修复、缓冲区溢出攻击阶段的预防与保护、基于认识与理解途径的度量与评估这 3 个应用视角,对缓冲区溢出漏洞检测技术与工具进行梳理,一定程度上在用户需求、检测技术与工具之间建立了一张映射图谱.

关键词：软件安全缓冲区溢出漏洞检测攻击防护度量评估

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络与PCA降维和K-Means聚类探讨治疗COVID-19组方配伍特点

引用

南京中医药大学学报 2020年第6期36卷 897-901页

作者：倪瑛张一鸣范欣生周丽萍沈俊东王崇骏南京中医药大学中医学院·中西医结合学院江苏省方剂研究重点实验室方剂高技术研究重点实验室江苏南京210023 南京大学计算机科学与技术系计算机软件新技术国家重点实验室江苏南京210023

目的探讨治疗新型冠状病毒肺炎(COVID-19)处方的组方配伍规律。方法收集国家及各省市卫生健康委、中医药管理局颁布的关于疫情确立的中医药诊疗方案,以及中英文数据库中已公开发表的相关文献,整理其中治疗新型冠状病毒肺炎的方药,运用... 详细信息

目的探讨治疗新型冠状病毒肺炎(COVID-19)处方的组方配伍规律。方法收集国家及各省市卫生健康委、中医药管理局颁布的关于疫情确立的中医药诊疗方案,以及中英文数据库中已公开发表的相关文献,整理其中治疗新型冠状病毒肺炎的方药,运用关联规则、药物复杂网络关系和基于主成分分析(PCA)降维和K-Means算法进行药物聚类,分析组方核心药物和配伍规律。结果纳入治疗方剂共639首,共涉及单味中药237味。频繁项集结果显示支持度较高的药物有甘草、杏仁、麻黄、石膏、黄芩、半夏、藿香、茯苓、陈皮、苍术、厚朴、连翘等,主要为宣降肺气药、清肺解毒药、芳香化湿药等,并形成支持度较高的药对、药组如麻黄、杏仁、石膏、黄芩配伍,茯苓、半夏、藿香、陈皮配伍等;频繁且相关结果显示,有些药对支持度不高但关联紧密,如附子、山茱萸、人参,草果、槟榔等组成的药对;复杂网络结果显示以麻黄、杏仁、石膏、甘草、黄芩为核心,与厚朴、苍术、草果、槟榔、茯苓、连翘、半夏、藿香、陈皮等形成紧密关系;聚类分析获得6类药物社团,具有清肺解毒、芳香化湿、辟秽化浊、通腑解毒祛瘀、回阳救逆、补气养阴等配伍特征。结论结合不同的数据挖掘方法可以从不同层面反映COVID-19用药与配伍特点,为中医药治疗疫病提供资料及依据。

关键词： PCA降维 K-Means算法 COVID-19 配伍规律组方用药

来源：评论

学校读者我要写书评

暂无评论

基于层次信息粒表示的属性图链接预测模型

引用

计算机研究与发展 2019年第3期56卷 623-634页

作者：罗晟苗夺谦张志飞张远健胡声丹同济大学计算机科学与技术系上海201804 嵌入式系统与服务计算教育部重点实验室(同济大学) 上海201804 计算机软件新技术国家重点实验室(南京大学) 南京210023

随着具有结点属性信息的网络图数据的增加,结点属性及结点链接关系越来越复杂,这对复杂网络的链接预测任务带来了一系列的挑战.这些不同来源的原始数据之间存在着不一致性,即结点的属性诱导的潜在链接关系与网络拓扑结构观测到的链接边... 详细信息

随着具有结点属性信息的网络图数据的增加,结点属性及结点链接关系越来越复杂,这对复杂网络的链接预测任务带来了一系列的挑战.这些不同来源的原始数据之间存在着不一致性,即结点的属性诱导的潜在链接关系与网络拓扑结构观测到的链接边之间存在着不一致的情况,这一现象将直接影响结点对之间的链接预测准确性与精确性.为了有效处理多源数据的不一致性,融合异构数据的差异,借助粒计算思想,通过对原始数据的多粒度表示,将原始数据在不同层次的粒度进行信息表示建模.最终依据这些数据的粒度表示,寻找最优的粒层结构,并最大化地消除数据内在的不一致性.首先,定义了数据的粒度不同层次表示及粒层关系;其次,对所观测到的链接数据,构建对数似然统计模型,并综合不同粒度层数据特点对模型进行修正;最后,使用多源数据训练统计模型,将学习好的模型用于预测结点对之间的链接概率.实验表明:与现有链接预测模型相比,多源数据经过粒度表示极大地平衡了多源数据的不一致性,有效提升了链接预测任务的准确性.

关键词：粒度表示学习粒计算属性图链接预测数据融合

来源：评论

学校读者我要写书评

暂无评论

Android应用测试输入自动生成技术

引用

中国科学：信息科学 2019年第10期49卷 1234-1266页

作者：王珏蒋炎岩许畅马晓星吕建计算机软件新技术国家重点实验室(南京大学) 南京210023 南京大学计算机科学与技术系南京210023

软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,极大地影响自动化测试的有... 详细信息

软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,极大地影响自动化测试的有效性.由于Android应用独有的特性,自动为其生成测试输入存在独特的挑战.为了应对这一挑战,已有许多Android应用测试输入自动生成技术被提出.本文提出Android应用测试输入自动生成技术的描述框架,包括测试输入自动生成技术的3个维度(分别为搜索空间的表示、候选输入的生成、候选输入的评估),并讨论了测试输入自动生成技术在这3个维度采用策略的两个评价指标(即充分性与高效性).借助这一全新描述框架,本文对已有技术进行分析和总结,讨论现有技术的长处和不足,并对未来可能的研究方向给予展望.

关键词： Android 自动测试输入生成技术描述智能手机

来源：评论

学校读者我要写书评

暂无评论

基于联盟链的云访问控制技术研究

引用

微电子学与计算机 2021年第7期38卷 79-84页

作者：张艺帆庄富林果园中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学软件新技术国家重点实验室江苏南京210093

针对云存储环境中单授权中心的安全性问题,提出一种以CP-ABE模型为基础,同时基于联盟区块链的可撤销多授权机构访问控制模型(Revocable Multi-Authority Access Control Based on Consortium Blockchain,RMACB).该模型以树形结构描述属... 详细信息

针对云存储环境中单授权中心的安全性问题,提出一种以CP-ABE模型为基础,同时基于联盟区块链的可撤销多授权机构访问控制模型(Revocable Multi-Authority Access Control Based on Consortium Blockchain,RMACB).该模型以树形结构描述属性授权中心(Attribute Authority,AA),同时利用可信证书链(Trusted Certificate Chain,TCC)和成员服务提供商(Membership Service Provider,MSP)对联盟链上的节点进行身份管理和权限控制.将用户密钥嵌入到密文中去,实现可撤销的云访问控制技术,由云服务提供商来执行重加密过程,减轻了数据所有者的加密负担.实验验证了提出方案具有更低的计算成本和较高的安全性.

关键词：云访问控制联盟区块链属性撤销属性加密

来源：评论

学校读者我要写书评

暂无评论

基于Android社区巡检系统APP的研究与实现

引用

计算机技术与发展 2021年第6期31卷 152-157页

作者：庄富张艺帆林果园中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学软件新技术国家重点实验室江苏南京210093

针对社区治理范围扩大化、复杂化和各类安全事故频发且安全巡查管理工作中容易出现的问题和弊端,采用Java语言、MySQL数据库和OkHttp网络框架,研制成功了一款基于Android的社区巡检系统。该系统具有定位、拍照、录像和智能巡检等功能,... 详细信息

针对社区治理范围扩大化、复杂化和各类安全事故频发且安全巡查管理工作中容易出现的问题和弊端,采用Java语言、MySQL数据库和OkHttp网络框架,研制成功了一款基于Android的社区巡检系统。该系统具有定位、拍照、录像和智能巡检等功能,实时采集巡检范围内的突发事件信息,通过手机APP上传服务器并由后台处理,实时定位巡检人员轨迹。介绍了该系统的整体框架,分析了巡检系统APP的系统功能,重点阐述了APP开发所用到的关键技术,主要包括心跳周期检测机制、视频数据的处理、图片和视频数据的混合传输和传输过程中的断点续传。该APP可以实现对突发事件做到及时发现、及时处置,形成闭环管理,提高了安全巡检工作的质量和管理水平。目前已经应用到江苏省徐州市铜山区汉王镇的社区管理工作中,为社区智能化管理提供了技术支持。

关键词：社区治理 Android 社区巡检系统 OkHttp 实时定位闭环管理

来源：评论

学校读者我要写书评

暂无评论

基于LSTM-GRBM的云虚拟机异常检测

引用

微电子学与计算机 2021年第4期38卷 46-51页

作者：胡悦林果园蔚国莹中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学新软件技术国家重点实验室江苏南京210093

本文提出了一种对云虚拟机进行异常检测的模型LsGrbmAd.该模型首先通过长短期记忆网络(LSTM)捕获云虚拟机性能指标的时序特征,同时利用Dropout以防止数据过拟合;其次利用高斯玻尔兹曼机(GRBM)得出自由能;最后利用得出的自由能与训练阶... 详细信息

本文提出了一种对云虚拟机进行异常检测的模型LsGrbmAd.该模型首先通过长短期记忆网络(LSTM)捕获云虚拟机性能指标的时序特征,同时利用Dropout以防止数据过拟合;其次利用高斯玻尔兹曼机(GRBM)得出自由能;最后利用得出的自由能与训练阶段得到的参数基准模型进行对比,判断云虚拟机是否出现异常.实验表明该模型能够对云虚拟机进行异常检测,且准确率有较大的提升.

关键词：异常检测云虚拟机长短期记忆网络高斯玻尔兹曼机云服务

来源：评论

学校读者我要写书评

暂无评论

软件开发方法发展回顾与展望

引用

软件学报 2019年第1期30卷 3-21页

作者：马晓星刘譞哲谢冰余萍张天卜磊李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法... 详细信息

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.

关键词：软件开发方法回顾展望

来源：评论

学校读者我要写书评

暂无评论

基于电力负荷曲线的设备识别方法

引用

中国科学技术大学学报 2019年第2期49卷 100-104页

作者：王子一商琳计算机软件新技术国家重点实验室江苏南京210023 南京大学计算机科学与技术系江苏南京210023

电力设备的负荷曲线随着时间而变化,其本质上是时间序列数据.为此提出了一种新的通过负荷曲线识别电力设备的方法,该方法在多个粒度划分出的负载曲线上使用卷积神经网络作为基分类器构造出一个集成学习器来提高分类精度.首先我们对原始... 详细信息

电力设备的负荷曲线随着时间而变化,其本质上是时间序列数据.为此提出了一种新的通过负荷曲线识别电力设备的方法,该方法在多个粒度划分出的负载曲线上使用卷积神经网络作为基分类器构造出一个集成学习器来提高分类精度.首先我们对原始数据进行不同粒度的划分,得到若干不同的新数据集.其次使用这些新的数据集训练不同的基学习器,并根据验证集上的精度得到不同基学习器的权重.将测试样本按照相同的粒度划分方式得到不同的测试数据集,使用不同的基分类器对这些测试数据集进行测试,得到对应的预测标签.最后对不同基分类器预测的标签进行加权,并选出权重最大的那个标签作为预测标签.在实际的电力负荷数据上将该模型与单个CNN模型进行对比,实验结果表明,该模型具有更高的设备识别精度.

关键词：力负荷曲线粒度时间序列集成学习分类

来源：评论

学校读者我要写书评

暂无评论

基于可重随机化混淆电路的可验证计算

引用

软件学报 2019年第2期30卷 399-415页

作者：赵青松曾庆凯刘西蒙徐焕良计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京农业大学信息科技学院江苏南京210095 福州大学数学与计算机科学学院福建福州350117 School of Information Systems Singapore Management University

Yao的混淆电路可用于客户端将函数计算外包给服务器,并可验证其正确性.然而,混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路,可实现客户端和服务器在多次输入上重用混淆电路.但是,所有已知的全同态加密在效率的提高上似... 详细信息

Yao的混淆电路可用于客户端将函数计算外包给服务器,并可验证其正确性.然而,混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路,可实现客户端和服务器在多次输入上重用混淆电路.但是,所有已知的全同态加密在效率的提高上似乎仍有很大的空间,并且需要较强的困难性假设.另一方面,Gennaro等人的方案只能在敌手不能对客户端发起任何数量的验证查询这种较弱的模型下被证明是安全的.部分同态加密的困难性假设要弱于全同态加密,虽然只支持数量有限的同态操作,但比全同态加密运行速度更快、更加紧凑.提出了一个使用加同态加密的可验证计算方案.它基于DDH假设,能够容忍任意数量的恶意验证查询,采用的主要技术是可重随机化的混淆电路.该技术可以实现重随机化的混淆电路分布与原有的混淆电路分布在计算上是不可区分的.另外,也给出了一种使用可重随机化的混淆电路构造密码转置防火墙方案,称为可重用密码转置防火墙.也就是说,混淆电路可生成1次,接下来,密码转置防火墙可安全地重随机化和重用多次.

关键词：可验证计算可重随机化混淆电路同态加密密码转置防火墙

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：