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

广州大学学报（自然科学版） 2020年第4期19卷 21-27页

作者：刘轩宇杜小江伏晓南京大学计算机软件新技术国家重点实验室江苏南京210093 天普大学计算机与信息科学系美国费城19122

信息技术的发展推动了社会的进步,也给信息安全领域带来了更多的挑战.信息安全场景越来越复杂,安全工具开发的难度越来越高,安全分析的难度也越来越大.当下的很多信息安全任务已经无法靠个人独立完成,往往需要很多人的合作.要实现这种... 详细信息

信息技术的发展推动了社会的进步,也给信息安全领域带来了更多的挑战.信息安全场景越来越复杂,安全工具开发的难度越来越高,安全分析的难度也越来越大.当下的很多信息安全任务已经无法靠个人独立完成,往往需要很多人的合作.要实现这种多人合作的信息安全方案,就需要一个成熟可靠的合作机制.在软件工程领域,众包是一种成熟的分布式问题解决方案,可以将复杂任务划分为简单任务外包给他人执行,从而降低复杂度.近年来,一些研究者提出了在信息安全领域中引入众包机制来帮助解决一些难以处理的安全问题,体现出了将信息安全和众包机制结合的可行性.文章将探讨众包机制在信息安全中的应用现状,并在此基础上提出了未来的发展方向.

关键词：信息安全众包多方合作

来源：评论

学校读者我要写书评

暂无评论

基于文件粒度的多目标软件缺陷预测方法实证研究

引用

软件学报 2019年第12期30卷 3694-3713页

作者：陈翔赵英全顾庆倪超王赞南通大学信息科学技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 天津大学软件学院天津300072

软件缺陷预测技术通过挖掘和分析软件库训练出软件缺陷预测模型,随后利用该模型来预测出被测软件项目内的缺陷程序模块,因此可以有效地优化测试资源的分配.在基于代价感知的评测指标下,有监督学习方法与无监督学习方法之间的预测性能比... 详细信息

软件缺陷预测技术通过挖掘和分析软件库训练出软件缺陷预测模型,随后利用该模型来预测出被测软件项目内的缺陷程序模块,因此可以有效地优化测试资源的分配.在基于代价感知的评测指标下,有监督学习方法与无监督学习方法之间的预测性能比较是最近的一个热门研究话题.其中在基于文件粒度的缺陷预测问题中,Yan等人最近对Yang等人考虑的无监督学习方法和有监督学习方法展开了大规模实证研究,结果表明存在一些无监督学习方法,其性能要优于有监督方法.基于来自开源社区的10个项目展开了实证研究.结果表明:在同项目缺陷预测场景中,若基于ACC评测指标,MULTI方法与最好的无监督方法和有监督方法相比,其预测性能平均有105.81%和123.84%的提高;若基于POPT评测指标,MULTI方法与最好的无监督方法和有监督方法相比,其预测性能平均有35.61%和38.70%的提高.在跨项目缺陷预测场景中,若基于ACC评测指标,MULTI方法与最好的无监督方法和有监督方法相比,其预测性能平均有22.42%和34.95%的提高.若基于POPT评测指标,MULTI方法与最好的无监督方法和有监督方法相比,其预测性能平均有11.45%和17.92%的提高.同时,基于Huang等人提出的PMI和IFA评测指标,MULTI方法的表现与代价感知的指标相比存在一定的折衷问题,但仍好于在ACC和POPT评测指标下表现最好的两种无监督学习方法.除此之外,将MULTI方法与最新提出的OneWay和CBS方法进行了比较,结果表明,MULTI方法在性能上仍然可以显著优于这两种方法.同时,基于F1评测指标的结果也验证了MULTI方法在预测性能上的显著优越性.最后,通过分析模型构建的时间开销,表明MULTI方法的模型构建开销对开发人员来说处于可接受的范围之内.

关键词：软件质量保障软件缺陷预测有监督学习无监督学习多目标优化

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

微电子学与计算机 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)对联盟链上的节点进行身份管理和权限控制.将用户密钥嵌入到密文中去,实现可撤销的云访问控制技术,由云服务提供商来执行重加密过程,减轻了数据所有者的加密负担.实验验证了提出方案具有更低的计算成本和较高的安全性.

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

来源：评论

学校读者我要写书评

暂无评论

加强内控信息化建设助推高校内涵式发展

引用

商业会计 2020年第5期 83-85页

作者：王秀芬方巍南京信息工程大学财务处南京信息工程大学计算机与软件学院江苏南京210044 南京大学计算机软件新技术国家重点实验室江苏南京210093

随着我国高等教育迅猛发展,办学模式呈现多样化发展态势,对当前高校内控管理体制和运行体制提出了新的要求。文章在内控理论研究的基础上,分析了内控信息一体化平台建设对高校的影响,并结合工作实例,提出了信息一体化建设思路,对加强高... 详细信息

随着我国高等教育迅猛发展,办学模式呈现多样化发展态势,对当前高校内控管理体制和运行体制提出了新的要求。文章在内控理论研究的基础上,分析了内控信息一体化平台建设对高校的影响,并结合工作实例,提出了信息一体化建设思路,对加强高校内部管理信息一体化建设进行有益的探索,以有助于高校进一步健全和完善内部控制体系,推进高校内涵式发展,提升高校的运行管理水平。

关键词：内部控制内涵式发展信息一体化风险防控

来源：评论

学校读者我要写书评

暂无评论

语音情感识别综述

引用

计算机工程与应用 2020年第11期56卷 1-9页

作者：孙晓虎李洪均南通大学信息科学技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 南京210093 南通大学智能信息技术研究中心江苏南通226019 南通大学通科微电子学院江苏南通226019

人类的语音情感变化是一个抽象的动态过程,难以使用静态信息对其情感交互进行描述,而人工智能的兴起为语音情感识别的发展带来了新的契机。从语音情感识别的概念和在国内外发展的历史进程入手,分别从5个方面对近些年关于语音情感识别的... 详细信息

人类的语音情感变化是一个抽象的动态过程,难以使用静态信息对其情感交互进行描述,而人工智能的兴起为语音情感识别的发展带来了新的契机。从语音情感识别的概念和在国内外发展的历史进程入手,分别从5个方面对近些年关于语音情感识别的研究成果进行了归纳总结。介绍了语音情感特征,归纳总结了各种语音特征参数对语音情感识别的意义。分别对语音情感数据库的分类及特点、语音情感识别算法的分类及优缺点、语音情感识别的应用以及语音情感识别现阶段所遇到的挑战进行了详细的阐述。立足于研究现状对语音情感识别的未来研究及其发展进行了展望。

关键词：语音情感识别情感特征情感识别算法人工智能

来源：评论

学校读者我要写书评

暂无评论

电子投票中投票者隐私保护策略的研究

引用

现代信息科技 2020年第19期4卷 133-135页

作者：孙毅冉丹南京航空航天大学计算机科学与技术学院江苏南京211106 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

现有的电子投票系统虽然可以通过投票者的微信号、IP地址等来保证选票的唯一性,但也因此泄露了投票者的隐私。文章对电子投票中存在的隐私泄露问题进行分析,研究并提出了一种保护投票者隐私的算法。该算法使用MD5对投票者隐私进行保护,... 详细信息

现有的电子投票系统虽然可以通过投票者的微信号、IP地址等来保证选票的唯一性,但也因此泄露了投票者的隐私。文章对电子投票中存在的隐私泄露问题进行分析,研究并提出了一种保护投票者隐私的算法。该算法使用MD5对投票者隐私进行保护,使用RSA公钥加密技术实现盲签名,可使在投票的所有环节都无法追踪投票者隐私信息。根据所提算法开发实现了一个匿名投票系统,实验验证了该匿名投票系统有效地保护了投票者隐私。

关键词：隐私保护 RSA公钥密码体制盲签名 MD5

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

软件学报 2019年第1期30卷 33-61页

作者：王戟詹乃军冯新宇刘志明国防科技大学计算机学院湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073 中国科学院软件研究所北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 详细信息

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.

关键词：形式化方法形式规约形式验证程序设计方法学软件开发

来源：评论

学校读者我要写书评

暂无评论

基于虚拟曝光图像的立体高动态范围图像合成算法

引用

光电子．激光 2019年第7期30卷 768-778页

作者：徐雅丽郁梅陈恳蒋刚毅宁波大学信息科学与工程学院浙江宁波315211 南京大学计算机软件新技术国家重点实验室江苏南京210093

本文提出基于多视点多曝光图像的立体高动态范围图像合成算法。首先,考虑多视点多曝光图像以及相机响应函数曲线的特性,提出一种虚拟曝光图像绘制算法,将不同曝光的图像绘制到同一视点;然后,为了使绘制曝光图像保留更多细节和结构,需要... 详细信息

本文提出基于多视点多曝光图像的立体高动态范围图像合成算法。首先,考虑多视点多曝光图像以及相机响应函数曲线的特性,提出一种虚拟曝光图像绘制算法,将不同曝光的图像绘制到同一视点;然后,为了使绘制曝光图像保留更多细节和结构,需要对绘制虚拟曝光图像进行空洞填补及边缘修复,故引入了边缘差值掩膜图,对图像边缘信息进行校正平滑处理;最后利用绘制的虚拟曝光图像合成立体高动态范围图像。实验结果表明,获得的绘制曝光图像与参考曝光视点图像之间的结构相似性高达0.99以上,且合成的高动态范围图像质量高。

关键词：多视点多曝光图像绘制曝光图像边缘差值掩膜立体高动态范围图像

来源：评论

学校读者我要写书评

暂无评论

面向动态加载的Android恶意行为动静态检测方法

引用

计算机应用与软件 2019年第12期36卷 285-291,308页

作者：郑晓梅杨宇飞程硕潘正东南京中医药大学信息技术学院江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京大学计算机软件新技术国家重点实验室江苏南京210023

动态加载是Android提出的一种新的执行体分类的运行时加载机制,能够有效提高动态行为配置能力。但由于动态加载部分的程序不包含在APK中,因此静态分析技术无法对动态加载点的恶意行为形成有效检测,而动态分析技术则难以覆盖到所有执行路... 详细信息

动态加载是Android提出的一种新的执行体分类的运行时加载机制,能够有效提高动态行为配置能力。但由于动态加载部分的程序不包含在APK中,因此静态分析技术无法对动态加载点的恶意行为形成有效检测,而动态分析技术则难以覆盖到所有执行路径,也无法形成充分的检测。针对该问题,提出一种动静态结合的检测方法。先对宿主APK进行静态分析提取Call-Graph,以获得动态加载点的执行路径,再通过路径制导的动态执行获取动态加载的程序,从而形成完整的分析。通过实例研究验证了该方法的有效性。

关键词：动态加载 Android应用恶意行为检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：