期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Rust语言安全研究综述
被引量：
1
1
作者
胡霜
华保健
+1 位作者
欧阳婉容
樊淇梁
《信息安全学报》
CSCD
2023年第6期64-83,共20页
Rust是为了解决系统编程领域的安全性问题,而设计的一门面向系统编程的兼具类型安全、内存安全和并发安全的新型程序设计语言,强调安全性和高性能,已经在操作系统内核、Web浏览器、网络协议栈、数据库和区块链等底层软件系统的构建中得...
Rust是为了解决系统编程领域的安全性问题,而设计的一门面向系统编程的兼具类型安全、内存安全和并发安全的新型程序设计语言,强调安全性和高性能,已经在操作系统内核、Web浏览器、网络协议栈、数据库和区块链等底层软件系统的构建中得到了越来越广泛的应用。现有研究表明,尽管Rust的设计目标是保证安全性,但其自身仍然存在许多安全问题。作为一门系统编程语言,Rust的安全性直接影响到基于Rust开发的软件系统的安全性。随着Rust的广泛应用,对Rust语言安全的研究显得尤为重要。Rust语言安全研究正在成为研究热点,并且在近几年已经取得了较大研究进展。本综述基于该研究领域已经公开发表的46篇研究论文,对该领域的相关研究进行了系统整理、分析和总结:首先,研究分析了Rust的核心安全特性,包括函数式编程范式、强多态类型系统、基于所有权模型的自动内存管理、对非安全代码的显式标记和隔离;其次,提出了Rust语言安全研究领域的分类学,将已有研究分为安全实证研究、漏洞检测研究、安全增强研究和形式化验证研究四个热点方向,并分别对这四个方向上的相关研究进行了综述、深入分析和总结,同时分析了四个研究方向的内在联系;最后,指出了该研究领域的待解决的科学问题,并对未来可能的研究方向进行了展望,提出了四个潜在的研究方向,以期为相关领域的研究者提供有价值的参考。
展开更多
关键词
Rust语言
内存
安全
并发
安全
漏洞检测与修复
下载PDF
职称材料
Go语言并发安全的Map探索及研究
2
作者
阮正平
蒋林峰
《科技资讯》
2023年第14期22-27,共6页
在云原生领域,大多数项目都是用Go语言开发的,而Go语言标准库中的Map又是开发过程中常用的内置数据结构。但是,在官方的设计中,Map并不是一种并发安全的数据类型。因此,该文首先介绍了Map的设计,分析了它不是并发安全的原因,其次论述了...
在云原生领域,大多数项目都是用Go语言开发的,而Go语言标准库中的Map又是开发过程中常用的内置数据结构。但是,在官方的设计中,Map并不是一种并发安全的数据类型。因此,该文首先介绍了Map的设计,分析了它不是并发安全的原因,其次论述了并发安全的Map的实现方式,包括加锁、Go官方的sync.Map以及自己通过分片加锁实现的方式,并设计了两大类实验,对这几种实现方式进行基准测试,最后根据测试结果进行了分析与技术选型的建议。
展开更多
关键词
Golang
并发
安全
sync.Map
分片加锁实现
实验设计
技术选型
下载PDF
职称材料
多一次Paillier求逆问题与并发安全的鉴别方案
3
作者
宋焰
《软件学报》
EI
CSCD
北大核心
2008年第7期1758-1765,共8页
从计算难解性的角度重新考察Paillier的陷门单向函数,并提出多一次Paillier求逆问题这一关于Paillier求逆问题的推广问题.从计算难解性的角度考察了多一次Paillier求逆问题与Bellare等人提出的多一次RSA求逆问题之间的关系,并证明了在...
从计算难解性的角度重新考察Paillier的陷门单向函数,并提出多一次Paillier求逆问题这一关于Paillier求逆问题的推广问题.从计算难解性的角度考察了多一次Paillier求逆问题与Bellare等人提出的多一次RSA求逆问题之间的关系,并证明了在计算难解性的意义上。多一次Paillier求逆问题等价于多一次RSA求逆问题.以此为基础,进而提出一种新的鉴别方案,并证明在多一次Paillier求逆问题的难解性假设下这一鉴别方案具备并发安全性.
展开更多
关键词
陷门单向函数
Paillier求逆
RSA问题
难解性
鉴别方案
并发
安全
性
下载PDF
职称材料
并发安全的紧凑多重息票方案
被引量：
1
4
作者
柳欣
徐秋亮
《电子学报》
EI
CAS
CSCD
北大核心
2012年第5期877-882,共6页
已有多重息票方案的弱点是缺乏支持用户根据需要选择最大兑换数量的高效协议.另一个缺陷是并不满足并发安全性.为了克服这些困难,提出两个并发安全的改进方案.第一个方案是利用关于两个被承诺值的知识证明和2轮并发零知识论证的Sigma协...
已有多重息票方案的弱点是缺乏支持用户根据需要选择最大兑换数量的高效协议.另一个缺陷是并不满足并发安全性.为了克服这些困难,提出两个并发安全的改进方案.第一个方案是利用关于两个被承诺值的知识证明和2轮并发零知识论证的Sigma协议编译器对底层的Blanton方案进行扩展得到的.第二个方案(即前一个方案的增强版本)利用直线提取技术实现了更为高效的安全性归约过程,并借助基于同态加密的非交互零知识论证避免了对随机预言机的使用.与其他的强不可分割的方案相比,第一个方案具有更高的通信效率,且第二个方案的安全性并不依赖于随机预言模型.
展开更多
关键词
电子现金
多重息票
非交互的零知识
并发
安全
性
注册公钥模型
下载PDF
职称材料
题名
Rust语言安全研究综述
被引量：
1
1
作者
胡霜
华保健
欧阳婉容
樊淇梁
机构
中国科学技术大学软件学院
出处
《信息安全学报》
CSCD
2023年第6期64-83,共20页
基金
中国科学技术大学研究生教育创新计划项目(No.2020YCJC41,No.2021YCJC34)资助。
文摘
Rust是为了解决系统编程领域的安全性问题,而设计的一门面向系统编程的兼具类型安全、内存安全和并发安全的新型程序设计语言,强调安全性和高性能,已经在操作系统内核、Web浏览器、网络协议栈、数据库和区块链等底层软件系统的构建中得到了越来越广泛的应用。现有研究表明,尽管Rust的设计目标是保证安全性,但其自身仍然存在许多安全问题。作为一门系统编程语言,Rust的安全性直接影响到基于Rust开发的软件系统的安全性。随着Rust的广泛应用,对Rust语言安全的研究显得尤为重要。Rust语言安全研究正在成为研究热点,并且在近几年已经取得了较大研究进展。本综述基于该研究领域已经公开发表的46篇研究论文,对该领域的相关研究进行了系统整理、分析和总结:首先,研究分析了Rust的核心安全特性,包括函数式编程范式、强多态类型系统、基于所有权模型的自动内存管理、对非安全代码的显式标记和隔离;其次,提出了Rust语言安全研究领域的分类学,将已有研究分为安全实证研究、漏洞检测研究、安全增强研究和形式化验证研究四个热点方向,并分别对这四个方向上的相关研究进行了综述、深入分析和总结,同时分析了四个研究方向的内在联系;最后,指出了该研究领域的待解决的科学问题,并对未来可能的研究方向进行了展望,提出了四个潜在的研究方向,以期为相关领域的研究者提供有价值的参考。
关键词
Rust语言
内存
安全
并发
安全
漏洞检测与修复
Keywords
Rust
memory safety
concurrency safety
vulnerability detection and rectification
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
Go语言并发安全的Map探索及研究
2
作者
阮正平
蒋林峰
机构
四川中电启明星信息技术有限公司
出处
《科技资讯》
2023年第14期22-27,共6页
文摘
在云原生领域,大多数项目都是用Go语言开发的,而Go语言标准库中的Map又是开发过程中常用的内置数据结构。但是,在官方的设计中,Map并不是一种并发安全的数据类型。因此,该文首先介绍了Map的设计,分析了它不是并发安全的原因,其次论述了并发安全的Map的实现方式,包括加锁、Go官方的sync.Map以及自己通过分片加锁实现的方式,并设计了两大类实验,对这几种实现方式进行基准测试,最后根据测试结果进行了分析与技术选型的建议。
关键词
Golang
并发
安全
sync.Map
分片加锁实现
实验设计
技术选型
Keywords
Golang concurrent security
sync.Map
Shard locking implementation
Experimental design
Technical selection
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
多一次Paillier求逆问题与并发安全的鉴别方案
3
作者
宋焰
机构
中国科学院软件研究所计算机科学国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2008年第7期1758-1765,共8页
基金
the National Natural Science Foundation of China under Grant No.60310213(国家自然科学基金重大国际(地区)合作研究项目)
the National Natural Science Foundation of China under Grant No.60325206(国家自然科学基金杰出青年基金项目)
文摘
从计算难解性的角度重新考察Paillier的陷门单向函数,并提出多一次Paillier求逆问题这一关于Paillier求逆问题的推广问题.从计算难解性的角度考察了多一次Paillier求逆问题与Bellare等人提出的多一次RSA求逆问题之间的关系,并证明了在计算难解性的意义上。多一次Paillier求逆问题等价于多一次RSA求逆问题.以此为基础,进而提出一种新的鉴别方案,并证明在多一次Paillier求逆问题的难解性假设下这一鉴别方案具备并发安全性.
关键词
陷门单向函数
Paillier求逆
RSA问题
难解性
鉴别方案
并发
安全
性
Keywords
trapdoor one-way function
Pallier inversion
RSA problem
hardness
identification
concurrent security
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
并发安全的紧凑多重息票方案
被引量：
1
4
作者
柳欣
徐秋亮
机构
山东大学计算机科学与技术学院
山东青年政治学院信息工程学院
山东省高校信息安全与智能控制重点实验室(山东青年政治学院)
出处
《电子学报》
EI
CAS
CSCD
北大核心
2012年第5期877-882,共6页
基金
国家自然科学基金(No.61173139)
山东省自然科学基金(No.ZR2010FM045)
文摘
已有多重息票方案的弱点是缺乏支持用户根据需要选择最大兑换数量的高效协议.另一个缺陷是并不满足并发安全性.为了克服这些困难,提出两个并发安全的改进方案.第一个方案是利用关于两个被承诺值的知识证明和2轮并发零知识论证的Sigma协议编译器对底层的Blanton方案进行扩展得到的.第二个方案(即前一个方案的增强版本)利用直线提取技术实现了更为高效的安全性归约过程,并借助基于同态加密的非交互零知识论证避免了对随机预言机的使用.与其他的强不可分割的方案相比,第一个方案具有更高的通信效率,且第二个方案的安全性并不依赖于随机预言模型.
关键词
电子现金
多重息票
非交互的零知识
并发
安全
性
注册公钥模型
Keywords
e-cash
multi-coupon
non-interactive zero- knowledge
concurrent security
the registered public-key model
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Rust语言安全研究综述
胡霜
华保健
欧阳婉容
樊淇梁
《信息安全学报》
CSCD
2023
1
下载PDF
职称材料
2
Go语言并发安全的Map探索及研究
阮正平
蒋林峰
《科技资讯》
2023
0
下载PDF
职称材料
3
多一次Paillier求逆问题与并发安全的鉴别方案
宋焰
《软件学报》
EI
CSCD
北大核心
2008
0
下载PDF
职称材料
4
并发安全的紧凑多重息票方案
柳欣
徐秋亮
《电子学报》
EI
CAS
CSCD
北大核心
2012
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
