【2023集创赛】平头哥杯一等奖作品:基于无剑100开源SoC平台构建双核TEE安全系统

本文主要是介绍【2023集创赛】平头哥杯一等奖作品:基于无剑100开源SoC平台构建双核TEE安全系统,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

本文为2023年第七届全国大学生集成电路创新创业大赛(“集创赛”)平头哥杯一等奖作品分享,参加极术社区的【有奖征集】分享你的2023集创赛作品,秀出作品风采,分享2023集创赛作品扩大影响力,更有丰富电子礼品等你来领!

团队介绍

参赛单位:北京理工大学
队伍名称:2+1=3
指导老师:高巍,王卫江
参赛队员:孔繁聪,李鸿烁,蒲康然
总决赛奖项:一等奖(平头哥杯企业大奖)

作品背景

随着5G和物联网技术的快速发展,信息安全问题日益突出,越来越多的数据在云环境下进行存储、共享和计算,云环境下的数据安全与隐私保护也逐渐成为学术界以及工业界关注的热点问题。目前阶段,隐私保护技术主要基于密码算法及协议 (如安全多方计算、同态加密等)完成场景落地,其优点主要在于具有较高的安全性和可靠性,然而,由于这些算法或协议的实现依赖于大量复杂计算(如乘法循环群上的乘法、指数运算,Pairing运算,格上的数学运算等),因此存在较大的性能瓶颈,难以在实际场景中大规模应用。

作为基于密码学的隐私保护技术的一种替代方案,可信执行环境(Trusted Execution Environment,TEE)是保障信息安全的有效手段。可信执行环境基于访问地址隔离的CPU实现了安全计算,可在保证计算效率的前提下完成隐私保护。TEE强大的数据安全和隐私保护能力,使其成为隐私计算主要技术流派之一。

可信执行环境是保护信息安全的有效方式。片上系统(SoC)是目前芯片设计中广泛使用的技术,它集成了多种知识产权核(IP),能够以较短的设计周期实现功能复杂和高性能的集成电路(IC)系统。此外,在FPGA上部署安全算法和测试可以使SoC更高效,这意味着将安全算法设计为SoC中的IP可以有效提高系统的效率。

由于精简指令集(Reduced Instruction Set Computer-V, RISC-V)是一种开源的精简指令集架构(ISA),已广泛应用于为实际应用构建 SoC。构建一个基于RISC-V的具备TEE安全能力的双核SoC系统将有效提高TEE系统的效率,以及推动TEE的发展。

作品简介

在本次设计中,我们主要完成以下工作:
(1)参考无剑100 SoC平台构建了一个具有多层总线结构的隔离双核系统。并且设计了支持SHA-256、RSA和AES-128算法硬件加速的集成密码核。
(2)基于信任链(CoT, Chain of Trust)设计了一个结合AES-128对程序加解密,SHA-256提取程序特征和RSA签名验签的安全启动机制。
(3)设计了地址访问防火墙(IOPMP)用于限制非安全E902核对内存、MMIO的访问。
(4)实现了Mailbox用于建立双核E902系统的安全核间通信和数据交换。
(5)实现了硬件化的网络通信协议栈,为双核TEE系统设计并实现了REE核负责与外界交互,TEE核负责安全服务的加密通信系统,并设计了对应的上位服务端。
(6)整体系统使用Xilinx Virtex® UltraScale™ FPGA 的VCU108 评估板实现并验证了设计的正确性。

硬件架构

在这里插入图片描述

按照可信执行环境的设计思想,在本方案的双核SoC中,中央处理器分为TEE核与REE核,分别执行系统开发人员设计的专用的安全服务程序和可由系统用户自定义的通用的应用程序。总线地址空间也分为两个部分,一部分为安全世界,这部分内容只能由TEE核访问,包括密码学服务相关模块,TEE核运行的IRAM和DRAM等;另一部分为非安全世界,这部分内容TEE核与REE核都可以访问,包括USART串口,Mailbox等。因此,在AHB总线矩阵中,TEE核可以直接接入总线,作为master设备访问任何地址,而REE核需要在接入总线之前先接入IOPMP,经过IOPMP的检查后再接入总线。

安全应用

在这里插入图片描述

本系统的应用场景设计为一个利用数字签名和加密通信机制在远程服务器实现安全登录并加密通信的系统,用户通过安全设备与服务器的双向数字签名认证进行登录,认证完成后通过非对称加密方式与服务器进行密钥协商,协商完成后使用对称加密进行加密通信。在用户使用该系统登录的场景下,REE核通过串口接收用户的输入,根据用户的输入解码出不同操作指令。随后,通过Mailbox核间通信机制将用户信息发送给TEE核进行数字签名或信息加解密的操作,再通过Mailbox收取加解密后的信息,然后与远程服务器通信来完成一系列操作。

成果展示

在这里插入图片描述

在这里插入图片描述

参赛感想

这次比赛能取得这样的成绩,我们要感谢赛方企业为我们提供的技术支持和企业评委们的认可,也要感谢学校和老师们为我们提供的平台、设备方面的支持。通过这次比赛,我们总结了一些经验和教训,在这里与大家分享:

  1. 多关注比赛官网,尽量早确定题目,确定题目后随时关注赛方的通知,还有赛题讲解和培训等,有助于设计符合要求的作品;
  2. 仔细阅读题目要求,按照题目要求设计作品,在提交作品时要确保每一个题目要求都满足。
  3. 赛题发布一般较早,二月份左右就会发布。较早开始阅读、分析赛题,可以让我们选择兴趣更高、技术要求更适合的赛道;
  4. 关注大赛官网,尽早加入钉钉群/QQ群可以让我们更及时获取信息。
  5. 遇到技术问题及时咨询赛题技术负责人,咨询途径不限于赛题钉钉群/QQ群,技术负责人邮箱等。及时咨询可以避免在不易解决的问题上浪费时间,从而寻找替代方案;
  6. 文档尽量详实,图文并茂。优先采用画图的方式解释复杂的原理,有助于读者理解。

参加极术社区的【有奖征集】分享你的2023集创赛作品,秀出作品风采,分享2023集创赛作品扩大影响力,更有丰富电子礼品等你来领!

这篇关于【2023集创赛】平头哥杯一等奖作品:基于无剑100开源SoC平台构建双核TEE安全系统的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!


原文地址:
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.chinasem.cn/article/166186

相关文章

Java 线程安全与 volatile与单例模式问题及解决方案

《Java线程安全与volatile与单例模式问题及解决方案》文章主要讲解线程安全问题的五个成因(调度随机、变量修改、非原子操作、内存可见性、指令重排序)及解决方案,强调使用volatile关键字... 目录什么是线程安全线程安全问题的产生与解决方案线程的调度是随机的多个线程对同一个变量进行修改线程的修改操

linux重启命令有哪些? 7个实用的Linux系统重启命令汇总

《linux重启命令有哪些?7个实用的Linux系统重启命令汇总》Linux系统提供了多种重启命令,常用的包括shutdown-r、reboot、init6等,不同命令适用于不同场景,本文将详细... 在管理和维护 linux 服务器时,完成系统更新、故障排查或日常维护后,重启系统往往是必不可少的步骤。本文

Mac系统下卸载JAVA和JDK的步骤

《Mac系统下卸载JAVA和JDK的步骤》JDK是Java语言的软件开发工具包,它提供了开发和运行Java应用程序所需的工具、库和资源,:本文主要介绍Mac系统下卸载JAVA和JDK的相关资料,需... 目录1. 卸载系统自带的 Java 版本检查当前 Java 版本通过命令卸载系统 Java2. 卸载自定

基于Python实现一个简单的题库与在线考试系统

《基于Python实现一个简单的题库与在线考试系统》在当今信息化教育时代,在线学习与考试系统已成为教育技术领域的重要组成部分,本文就来介绍一下如何使用Python和PyQt5框架开发一个名为白泽题库系... 目录概述功能特点界面展示系统架构设计类结构图Excel题库填写格式模板题库题目填写格式表核心数据结构

基于Python构建一个高效词汇表

《基于Python构建一个高效词汇表》在自然语言处理(NLP)领域,构建高效的词汇表是文本预处理的关键步骤,本文将解析一个使用Python实现的n-gram词频统计工具,感兴趣的可以了解下... 目录一、项目背景与目标1.1 技术需求1.2 核心技术栈二、核心代码解析2.1 数据处理函数2.2 数据处理流程

Linux系统中的firewall-offline-cmd详解(收藏版)

《Linux系统中的firewall-offline-cmd详解(收藏版)》firewall-offline-cmd是firewalld的一个命令行工具,专门设计用于在没有运行firewalld服务的... 目录主要用途基本语法选项1. 状态管理2. 区域管理3. 服务管理4. 端口管理5. ICMP 阻断

Java中常见队列举例详解(非线程安全)

《Java中常见队列举例详解(非线程安全)》队列用于模拟队列这种数据结构,队列通常是指先进先出的容器,:本文主要介绍Java中常见队列(非线程安全)的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录一.队列定义 二.常见接口 三.常见实现类3.1 ArrayDeque3.1.1 实现原理3.1.2

Python FastMCP构建MCP服务端与客户端的详细步骤

《PythonFastMCP构建MCP服务端与客户端的详细步骤》MCP(Multi-ClientProtocol)是一种用于构建可扩展服务的通信协议框架,本文将使用FastMCP搭建一个支持St... 目录简介环境准备服务端实现(server.py)客户端实现(client.py)运行效果扩展方向常见问题结

详解如何使用Python构建从数据到文档的自动化工作流

《详解如何使用Python构建从数据到文档的自动化工作流》这篇文章将通过真实工作场景拆解,为大家展示如何用Python构建自动化工作流,让工具代替人力完成这些数字苦力活,感兴趣的小伙伴可以跟随小编一起... 目录一、Excel处理:从数据搬运工到智能分析师二、PDF处理:文档工厂的智能生产线三、邮件自动化:

Windows 系统下 Nginx 的配置步骤详解

《Windows系统下Nginx的配置步骤详解》Nginx是一款功能强大的软件,在互联网领域有广泛应用,简单来说,它就像一个聪明的交通指挥员,能让网站运行得更高效、更稳定,:本文主要介绍W... 目录一、为什么要用 Nginx二、Windows 系统下 Nginx 的配置步骤1. 下载 Nginx2. 解压