-
题名Rust语言在核电安全级仪控研发应用探讨
被引量:1
- 1
-
-
作者
杨斌
蒋维
常泽海
-
机构
西安交通大学核科学与技术学院
中国核动力研究设计院核反应堆系统设计技术重点实验室
-
出处
《仪器仪表用户》
2023年第6期65-68,共4页
-
文摘
在核安全级(1E)仪控应用中,基于处理器的应用绝大部分使用C语言来实现。针对C语言存在弱内存管理、弱数据类型、易于出错的指针控制等天然语言缺陷,提出了更安全的Rust编程语言在核电仪控中应用可能性的探讨。首先分析了C语言固有特性的安全缺陷和Rust语言的安全优势,其次结合核电行业安全软件关键需求探讨了Rust语言的切实应用场景,并阐述了Rust语言应用于核电仪控面临着极大的挑战。最后,为推动核电仪控领域应用更安全的编程语言,提出了积极的展望。
-
关键词
核电安全
仪控软件
rust语言
-
Keywords
nuclear power safety
instrumentation and control software
rust language
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名Rust语言安全研究综述
被引量:1
- 2
-
-
作者
胡霜
华保健
欧阳婉容
樊淇梁
-
机构
中国科学技术大学软件学院
-
出处
《信息安全学报》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于异步非阻塞框架的电力物联网通信技术
- 3
-
-
作者
吴振冲
徐成司
董树锋
-
机构
浙江大学电气工程学院
国网浙江省电力有限公司杭州供电公司
-
出处
《电力信息与通信技术》
2023年第10期1-9,共9页
-
基金
国家自然科学基金项目(52077193)。
-
文摘
针对传统阻塞式通信技术在电力物联网硬件资源受限的条件下难以实现可靠高效通信的问题,文章提出基于异步非阻塞框架的电力物联网通信技术。首先,根据异步非阻塞技术原理,基于Rust语言异步编程方法和Tokio异步框架,设计异步非阻塞通信框架,包括客户端连接、服务端连接与监听以及非阻塞的网络数据读写方式等。然后以当前电力远动通信领域中应用最为广泛的IEC 104规约为例,设计其异步非阻塞通信实现方式。最后,对基于异步非阻塞框架实现的通信软件进行一致性测试和性能测试,将测试结果与传统阻塞式通信实现方式对比分析,并通过实际工业园区电力物联网工程应用验证所提技术的有效性和高效性。
-
关键词
电力物联网
异步非阻塞通信
rust语言
Tokio框架
数据读写
IEC
104规约
-
Keywords
power Internet of things
asynchronous non-blocking communication
rust language
Tokio framework
data read and write
IEC 104 protocol
-
分类号
TM73
[电气工程—电力系统及自动化]
-
-
题名基于Rust的免杀对抗研究
- 4
-
-
作者
郭宇鹏
齐敬
-
机构
南京南瑞网络安全技术有限公司
-
出处
《网络安全技术与应用》
2024年第1期47-50,共4页
-
文摘
传统的远控和木马大多基于C或C++语言编写,近些年也出现了例如Nim等小众冷门语言在免杀领域大放异彩的情况。鉴于这样的经验,提出一种基于Rust的shellcode免杀方法。以常见杀毒软件的查杀结果与常规免杀方法为依据,通过观察基于Rust与C/C++、Python、Powershell、Nim、Go等语言编译的可执行文件或恶意代码加载器在各种杀毒引擎下的查杀情况,对比各语言在基本相同情况下的免杀能力。结果符合预期,Rust语言体现出了在免杀领域的相对优势。
-
关键词
免杀
rust语言
杀毒软件
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-