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

随着云计算模式的普及应用,数据存储和计算服务的外包已经成为必然趋势,由此带来的数据安全和隐私保护问题愈加受到业界和学界的关注.全同态加密(fully homomorphic encryption,FHE)体制,可在不泄露敏感信息的前提下完成对密文的处理任务,有着与生俱来的保护用户数据安全和隐私的特性.此外,由于格密码具有可抵抗量子攻击和同态运算的特性,这使得基于格的全同态加密研究备受关注,成为近年密码学界研究的热点问题.当前,对全同态加密的研究主要集中在两方面,一方面是方案的设计及性能的提升,另一方面则是其潜在应用的探索.因此,本文从全同态加密所经历的三个阶段、基于格的全同态加密体制设计和全同态加密面临的问题及发展趋势等方面,较为全面地介绍了自Gentry(STOC2009)提出首个全同态加密体制后,近几年来的重要研究成果.

关键词：云计算格密码体制全同态加密体制

来源：评论

学校读者我要写书评

暂无评论

面向实现的协议形式化描述语言

引用

计算机工程与应用 2003年第19期39卷 81-83,145页

作者：刘才兴肖德琴谢洁锐华南农业大学理学院计算机系中国科学院研究生院信息安全国家重点实验室北京100080

该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件... 详细信息

该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件的描述,能描述事件的随机发生,笔者已将之成功地应用于对HTTP协议和HTTP-NG协议的描述。

关键词：协议工程协议描述语言面向实现

来源：评论

学校读者我要写书评

暂无评论

业务拓展与渠道管理——学生感想篇

引用

计算机教育 2008年第23期 57-59页

作者：吴天琪姚从磊周顾婧信息科学技术学院计算机系北京大学信息科学技术学院网络实验室北京大学计算机系

个人的华丽，合作的精彩吴天琪信息科学技术学院计算机系区别于北大所有的领导力课程，“职业规划与领导力发展”最吸引人的地方，莫过于全部演讲者都是我们的学长学姐。他们不但熟谙我们现在正在学习的专业，而且亲身经历过我们日后... 详细信息

个人的华丽，合作的精彩吴天琪信息科学技术学院计算机系区别于北大所有的领导力课程，“职业规划与领导力发展”最吸引人的地方，莫过于全部演讲者都是我们的学长学姐。他们不但熟谙我们现在正在学习的专业，而且亲身经历过我们日后将面临的困难，享受着我们梦寐以求的成功。和书本上抽象而笼统的管理概念不同，他们的讲座亲切而生动、体会精辟而深刻、对问题的解答更是一针见血。每周三次的讲座让人受益匪浅，对我们这些后辈们在日后的学习、工作中都有很大帮助和启发。

关键词：渠道管理业务拓展信息科学技术学院学生计算机系职业规划管理概念学习

来源：评论

学校读者我要写书评

暂无评论

网络空间安全综述

引用

中国科学：信息科学 2016年第2期46卷 125-164页

作者：张焕国韩文报来学嘉林东岱马建峰李建华武汉大学计算机学院武汉430072 数学工程与先进计算国家重点实验室无锡214122 上海交通大学计算机系上海200240 信息工程研究所北京100093 西安电子科技大学网络与信息安全学院西安710071 上海交通大学信息安全工程学院上海200240

随着信息技术的发展与广泛应用,人类社会进入信息化时代.在信息时代,人们生活和工作在网络空间中.网络空间是所有信息系统的集合,是人类生存的信息环境.因此,必须确保网络空间的安全.本文综合介绍网络空间的概念、网络空间安全学科、密... 详细信息

随着信息技术的发展与广泛应用,人类社会进入信息化时代.在信息时代,人们生活和工作在网络空间中.网络空间是所有信息系统的集合,是人类生存的信息环境.因此,必须确保网络空间的安全.本文综合介绍网络空间的概念、网络空间安全学科、密码学、网络安全、信息系统安全和信息内容安全领域的研究发展、存在的问题和一些研究热点.

关键词：网络空间安全信息安全密码学网络安全信息系统安全信息内容安全

来源：评论

学校读者我要写书评

暂无评论

基于时序逻辑的加密协议分析

引用

计算机学报 2002年第10期25卷 1083-1089页

作者：肖德琴周权张焕国刘才兴中国科学院研究生院信息安全国家重点实验室北京100080 广州大学理学院数学系信息安全研究所广州510405 武汉大学计算机学院软件工程国家重点实验室武汉430072 华南农业大学理学院计算机系广州510642

形式化方法由于其精炼、简洁和无二义性 ,逐步成为分析加密协议的一条可靠和准确的途径 ,但是加密协议的形式化分析研究目前还不够深入 ,至今仍没有统一的加密协议验证体系 .针对这一现状 ,该文从加密协议可能面临的最强大的攻击着手 ,... 详细信息

形式化方法由于其精炼、简洁和无二义性 ,逐步成为分析加密协议的一条可靠和准确的途径 ,但是加密协议的形式化分析研究目前还不够深入 ,至今仍没有统一的加密协议验证体系 .针对这一现状 ,该文从加密协议可能面临的最强大的攻击着手 ,提出了一种基于时序逻辑的加密协议描述方法 ,在该模型下 ,对协议行为、入侵者行为、安全需求等特性的描述均用时序逻辑公式表达 ,从而利用现有的统一的时序逻辑框架分析密码协议的性质 .特别地 ,作者描述和检测了一个系统入侵者不能用任何代数和逻辑的办法获得消息的实例 .通过对比 ,作者认为该方法具有形式化程度较高的特点 .

关键词：时序逻辑加密协议分析形式化方法密码学单钥加密系统

来源：评论

学校读者我要写书评

暂无评论

安全协议形式化分析的不变式生成技术

引用

中国科学院研究生院学报 2002年第1期19卷 91-96页

作者：范红冯登国郭金庚中国科学院研究生院信息安全国家重点实验室北京100039 解放军信息工程大学安全学院计算机系郑州450004

给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义,可用于协... 详细信息

给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义,可用于协议认证和秘密性的证明,从而成为许多协议形式化分析工具和技术的核心.

关键词：协议形式化分析不变式

来源：评论

学校读者我要写书评

暂无评论

购买者透明的非对称扩频指纹方案

引用

电子学报 2006年第6期34卷 1041-1047页

作者：朱岩杨永田叶志远邹维冯登国北京大学计算机科学技术研究所北京100871 哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001 中科院研究生院信息安全国家重点实验室北京100049

数字指纹的透明性是指在购买者不知道指纹存在的情况下实现数字指纹对多媒体的保护,它是电子交易的一项重要要求.依据所提出的安全二进制定点补码表示方法以及具有加法同态性质的密码系统,本文提出了一种基于扩频编码的非对称指纹方案,... 详细信息

数字指纹的透明性是指在购买者不知道指纹存在的情况下实现数字指纹对多媒体的保护,它是电子交易的一项重要要求.依据所提出的安全二进制定点补码表示方法以及具有加法同态性质的密码系统,本文提出了一种基于扩频编码的非对称指纹方案,通过分析表明方案具有购买透明性、缺席审判、不可否认性和陷害性等特点.

关键词：数字指纹非对称指纹叛逆跟踪扩频编码加法同态

来源：评论

学校读者我要写书评

暂无评论

目录服务技术的发展

引用

中国计算机用户 2003年第39期 49-51页

作者：潘爱民北京大学计算机科学技术研究所信息安全实验室

在现实世界中，我们常常会看到各种各样的目录，比如人事部门的员工清单、企业的设备清单、服务公司的顾客清单等。在这些目录中，有的是公开的，比如电话黄页（对社会公开）、企业的员工名单（在企业内部公开），有的是不公开的，只有... 详细信息

在现实世界中，我们常常会看到各种各样的目录，比如人事部门的员工清单、企业的设备清单、服务公司的顾客清单等。在这些目录中，有的是公开的，比如电话黄页（对社会公开）、企业的员工名单（在企业内部公开），有的是不公开的，只有授权的管理人员才可以看得到，比如公司的某些顾客名单。这些目录的管理并不复杂，但是需要有一套确定的制度和规定来保证这些目标的正确性和可用性。

关键词：企业服务公司目录服务可用性授权

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：