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

密码学教学与创新教育

引用

计算机教育 2011年第6期 41-44页

作者：王昭北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

针对知识经济时代培养学生创新意识和创新能力的要求,在分析总结密码学课程特点和多年从事信息安全及密码学课程教学经验的基础上,阐述如何将创新教育融入密码学教学中。

关键词：教学思路创新教育密码学课程特点

来源：评论

学校读者我要写书评

暂无评论

基于大数据的软件项目知识图谱构造及问答方法

引用

大数据 2021年第1期7卷 22-36页

作者：邹艳珍王敏谢冰林泽琦北京大学信息科学技术学院高可信软件技术教育部重点实验室(北京大学) 微软亚洲研究院

随着软件规模的不断扩大、软件演化周期的不断延长,构建软件项目知识图谱对软件维护、软件开发的意义越来越重大。如何基于软件项目开发过程中产生的源代码、邮件列表、缺陷报告等多源异构大数据,快速构建语义关联丰富的软件知识图谱,... 详细信息

随着软件规模的不断扩大、软件演化周期的不断延长,构建软件项目知识图谱对软件维护、软件开发的意义越来越重大。如何基于软件项目开发过程中产生的源代码、邮件列表、缺陷报告等多源异构大数据,快速构建语义关联丰富的软件知识图谱,是软件工程领域亟待解决的关键问题。提出了以代码结构为核心的软件知识图谱模型,建立了"知识抽取-知识融合"两层软件知识图谱构造框架,该框架支持软件项目知识图谱的自动构造以及基于知识图谱的软件项目智能问答,有效提高了软件项目理解和软件复用的效率。目前,软件项目知识图谱已经在Apache开源社区以及国内著名软件企业成功展开应用实践。

关键词：软件复用软件知识图谱软件知识抽取知识问答

来源：评论

学校读者我要写书评

暂无评论

构件化软件技术研究与实践

构件化软件技术研究与实践

引用

中国科学院第十六次院士大会第三届学部学术年会

作者：梅宏北京大学信息科学技术学院软件所、高可信软件技术教育部重点实验室

本文对计算机软件技术的发展进行了回顾，介绍了构件化软件技术的研究与实践，对软件技术的未来发展进行了展望。

关键词：计算机软件构件化软件开发体系结构技术指标

来源：评论

学校读者我要写书评

暂无评论

面向服务的中间件管理方法

引用

计算机科学与探索 2009年第5期3卷 469-480页

作者：刘钊黄罡梅宏李影刘天成北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室 IBM中国研究院

中间件的繁荣使得中间件的管理面临着管理对象的类型与数量都极大丰富的问题;同时,开放的网络环境使得管理目标呈现出多样化、综合化和柔性化的特点。上述问题要求中间件的管理能力具有可增长的特性,以满足个性、多样的管理需求。提出... 详细信息

中间件的繁荣使得中间件的管理面临着管理对象的类型与数量都极大丰富的问题;同时,开放的网络环境使得管理目标呈现出多样化、综合化和柔性化的特点。上述问题要求中间件的管理能力具有可增长的特性,以满足个性、多样的管理需求。提出了一种面向服务的中间件管理方法。方法中,已有的中间件管理功能被封装为服务,通过服务组装的方式实现管理功能的增值。讨论了中间件预置管理功能的封装、管理的组装模式、组装中接口适配和异常处理等问题,并用一个J2EE场景的管理实例示范和论证了提出的方法。

关键词：中间件中间件管理 Web服务

来源：评论

学校读者我要写书评

暂无评论

电子商务支付协议认证性的SVO逻辑验证

引用

计算机工程与应用 2014年第8期50卷 6-10页

作者：肖茵茵苏开乐广东技术师范学院计算机学院广州510665 中山大学信息科学与技术学院广东省信息安全重点实验室广州510275 北京大学信息科学技术学院教育部高可信软件技术重点实验室北京100871

与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑... 详细信息

与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑的公理集;在不影响Netbill协议安全性的前提下,为其建立了简化模型;针对协议特点,修正和补充了其验证目标;给出了比之前更合理的协议假设,展示了具体的推理过程,分析了验证结果。结果表明,Netbill协议基本满足认证性。最后对相关研究工作进行了比较。

关键词： SVO逻辑电子商务支付 Netbill协议认证性

来源：评论

学校读者我要写书评

暂无评论

ACT-LDA:集成话题、社区和影响力分析的概率模型

引用

计算机科学与探索 2013年第8期7卷 718-728页

作者：吴良黄威靖陈薇王腾蛟雷凯刘月琴高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院北京100871 北京大学深圳研究生院深圳市云计算关键技术与应用重点实验室广东深圳518055 国际关系学院信息科技系北京100091

随着社交网络的发展,社交网络中的用户形成大规模的用户关系图,用户在社交网络中发表内容,这些内容及其链接关系形成大规模的文档图。如何根据用户关系图、文档图,挖掘出用户所形成的社区、社区用户的影响力以及各个社区的话题,是重要... 详细信息

随着社交网络的发展,社交网络中的用户形成大规模的用户关系图,用户在社交网络中发表内容,这些内容及其链接关系形成大规模的文档图。如何根据用户关系图、文档图,挖掘出用户所形成的社区、社区用户的影响力以及各个社区的话题,是重要的问题,而目前这些工作相对独立。考虑了用户发表内容、用户之间的关系信息,利用话题传播、社区形成和用户影响力之间的关联性,提出了一个基于LDA(latent Dirichlet allocation)的集成话题发现、社区发现和用户影响力分析的统一模型ACT-LDA(author-community-topicLDA)。模型采用变分推理的方法解决推理问题。在DBLP数据上进行了实验,取得了非常好的结果,证明了模型的有效性。

关键词：社交网络社区发现话题模型用户影响力

来源：评论

学校读者我要写书评

暂无评论

基于DWT-DCT和Zernike矩的灰度级鲁棒性水印算法

基于DWT-DCT和Zernike矩的灰度级鲁棒性水印算法

引用

第八届全国信息隐藏与多媒体安全学术大会湖南省计算机学会第十一届学术年会

作者：陈宇曲芳胡建斌陈钟北京大学信息科学技术学院高可信软件技术教育部重点实验室

鲁棒性是数字水印极为重要的指标.目前大多数文献中的鲁棒性水印方案对常规信号处理攻击均具有良好的鲁棒性,但抗几何攻击的鲁棒性相对较弱.提出了一种新的灰度级鲁棒性水印算法,对常规信号处理攻击和几何攻击均具有良好的鲁棒性.水印... 详细信息

鲁棒性是数字水印极为重要的指标.目前大多数文献中的鲁棒性水印方案对常规信号处理攻击均具有良好的鲁棒性,但抗几何攻击的鲁棒性相对较弱.提出了一种新的灰度级鲁棒性水印算法,对常规信号处理攻击和几何攻击均具有良好的鲁棒性.水印算法的鲁棒性由以下3方面获得:1)选择载体图像的内切圆盘作为Zernike矩的计算域,选择内切圆盘的内接正方形作为水印的嵌入区域.2)在载体图像嵌入区域的层叠DWT-DCT域嵌入水印,获得对常规信号处理攻击的强鲁棒性.3)保存原始含水印图像的2个Zernike矩作为校正几何攻击的参数,获得抗几何攻击能力.实验结果表明,该水印算法嵌入容量大,不仅对大角度旋转和大尺度缩放等几何攻击具有很好的鲁棒性,而且可以有效地抵抗有损压缩和常规信号处理攻击.

关键词： Zernike矩 DWT-DCT 灰度级数字水印

来源：评论

学校读者我要写书评

暂无评论

基于TPM的运行时软件可信证据收集机制

基于TPM的运行时软件可信证据收集机制

引用

中国计算机学会全国软件与应用学术会议(NASAC2009)

作者：古亮郭耀王华邹艳珍谢冰邵维忠高可信软件技术教育部重点实验室，北京大学信息科学技术学院软件所，北京 100871

软件可信证据是软件可信性评估的前提和基础．已有的软件可信证据收集机制关注于开发阶段证据、提交阶段证据、应用阶段证据．其中应用阶段还应关注非常重要的运行时的软件可信性证据．我们扩展了已有的软件可信性证据模型，引入了运行... 详细信息

软件可信证据是软件可信性评估的前提和基础．已有的软件可信证据收集机制关注于开发阶段证据、提交阶段证据、应用阶段证据．其中应用阶段还应关注非常重要的运行时的软件可信性证据．我们扩展了已有的软件可信性证据模型，引入了运行时软件可信证据．为了提供客观、真实、全面的可信证据，本文介绍了一种基于可信计算技术的软件运行时可信证据收集机制．我们利用可信平台模块(TrustedPlatform Module，TPM)提供的基本的安全功能，结合“最新加载技术(late launch)”，在操作系统层引入了一个可信证据收集代理．此代理利用TPM可以客观地收集目标应用程序的运行时可作为软件可信证据的运行信息，并保障可信证据本身的可信性．本文介绍的可信证据收集机制具有良好的可扩展性，能够支持面向不同的应用的不同信任评估模型．我们基于Linux Security Module在Linux中实现了一个可信证据收集代理的原型．基于该原型，我们分析了一个分布式计算客户端实例的相关可信属性，并且分析了可信证据收集代理在该应用实例中的性能．该应用实例验证了我们的方案的可行性．

关键词：软件可信性评估证据收集可信计算评估模型

来源：评论

学校读者我要写书评

暂无评论

XSLC:分层编码并面向查询的XML数据压缩算法

引用

计算机科学与探索 2010年第2期4卷 145-152页

作者：付强王腾蛟李红燕杨冬青唐世渭北京大学信息科学技术学院北京100871 北京大学高可信软件技术教育部重点实验室北京100871 北京大学机器感知与智能教育部重点实验室北京100871

XML(extensible markup language)文档已经被广泛用作应用程序的一个数据交换格式,针对XML数据的压缩技术也逐渐成为新的研究领域。提出XSLC(XMLstream layered-coding compression)算法,通过预先扫描DTD对数据模式进行分析,继而根据元... 详细信息

XML(extensible markup language)文档已经被广泛用作应用程序的一个数据交换格式,针对XML数据的压缩技术也逐渐成为新的研究领域。提出XSLC(XMLstream layered-coding compression)算法,通过预先扫描DTD对数据模式进行分析,继而根据元素的父子关系进行子元素层面的编码;同时根据数据类型进行数据压缩,能够在压缩之后的文档上进行查询,因为仅需一遍压缩扫描所以可以应用于数据流环境。实验表明:XSLC算法的压缩比率和压缩时间均优于传统算法。

关键词：可扩展标记语言压缩文档类型定义数据流

来源：评论

学校读者我要写书评

暂无评论

基于可扩展计算平台的大图数据管理

引用

科研信息化技术与应用 2013年第1期4卷 49-56页

作者：高军杨冬青北京大学信息科学技术学院计算机科学技术系北京100871 高可信软件技术教育部重点实验室北京100871

随着数据采集和存储技术的发展,社交网络、生物信息科学、交通导航等领域中出现了规模庞大、内部结构复杂、查询需求多样的大图数据。传统基于单机内存的图处理方法无法满足大图数据管理需求。可扩展计算平台的发展为大图数据管理提供... 详细信息

随着数据采集和存储技术的发展,社交网络、生物信息科学、交通导航等领域中出现了规模庞大、内部结构复杂、查询需求多样的大图数据。传统基于单机内存的图处理方法无法满足大图数据管理需求。可扩展计算平台的发展为大图数据管理提供了可行的技术方案。本文首先分析了大图数据之上的不同类型查询,重点探讨了基于关系数据库、基于MapReduce计算框架、基于BSP(Bulk Synchronous Parallel)计算模型和基于第三方外包服务器的大图数据管理方法,并分析了未来可能的研究路线。

关键词：大图数据关系数据库 MapReduce BSP 外包

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：