主頁 > 軟體設計 > 2020-10-24

2020-10-24

2020-10-26 03:55:49 軟體設計

嵌入式安全

1.安全的重要性
(1)為什么安全如此的重要?
對于嵌入式系統正越來越頻繁地遭到黑客入侵,
(2)如今為何需要安全性?
1) 設備需要聯網,比如現在工業4.0的設備,設備連接云
2) 安全攻擊和黑客入侵頻率的增加
3) 保護你的IP(知識產權),應用,
(3)嵌入式系統應用中的安全需求?
1) 機密性、隱私
確保任何意外物體都無法讀取保存的資料或傳輸的報文,
在這里插入圖片描述

2) 完整性
確保報文始終不發生改變(沒有丟包或被篡改)
3) 真實性
確保某件事務與宣告相符,
不可否認性(查明具體來源和發送方的身份);
證明/安全引導/安全DFU(提供可靠證據來證明現有代碼是真實的,支持本地或遠程證明)
(4)通過硬體加密實作的安全性更高,
硬體加密以數倍于軟體實作的速度執行加密/解密;
性能更高,代碼更小,
1) 保證應用程式完整性
與軟體相比,硬體可信根更安全,更能保證代碼/應用程式完整性
2) 抵御逆向工程
軟體實作更易受逆向工程攻擊,
3) 抵御非侵入性攻擊,
基于軟體的解決方案更容易受基于功耗分析的攻擊,
4) 秘鑰保護級別更高
使用硬體存盤秘鑰的保護級別要高于使用軟體存盤,

  1. 安全的基本概念,演算法和實作方式
    (1)嵌入式安全意味著將安全演算法和非安全應用結合起來,構建一個完整的解決方案,
    1) 機密性:通過加密(包括對稱和非對稱的加密演算法)解決機密性的問題
    2) 完整性:通過哈希演算法(MD5、SHA-1、SHA-256)和對稱的加密演算法來解決完整性問題;
    3) 身份驗證:通過數字簽名來解決身份驗證的問題,
    (2)基本演算法
    哈希運算:哈希運算所采用的是一種強大的不可逆數學變換;不同長度的報文通過哈
    希運算后一般產生相同長度(比如32位元組)的摘要,哈希運算不僅可以驗證報文還可以用于檢查報文的完整性,
    ?強大的哈希運算的特性:
    ?計算摘要謂可容易實作
    ?無法重新生成原始報文
    ?無法在不改變摘要的前提下修改報文
    ?無法找到具有相同摘要的不同報文
    ?輸出稱為“報文摘要”,長度固定
    ?SHA256輸出32位元組摘要,這與輸入的大小無關
    使用哈希運算進行驗證時,結果稱為
    ?MAC = 報文驗證代碼
    ?MIC = 報文完整性代碼

對稱密鑰加解密:所謂的對稱密鑰,就是加密密鑰和解密密鑰相同,由于通信雙方的密鑰相同,因此密鑰的保存非常關鍵,

密鑰分配很簡單
?一個密鑰可公開共享,我們稱其為“公鑰”
?另一個密鑰以極其私密的方式保存,我們稱其為“私鑰”
?此密鑰的安全性和私密性對系統的安全至關重要
?在公鑰基礎架構(即PKI)中,每個元素都有自己的密鑰對
?密鑰對絕對不能共享
?每個元素都具有惟一身份是安全的基礎

非對稱演算法:所謂的非對稱,指的是兩個數學上相關的密鑰,一個密鑰可以公開共享,稱為公鑰,另一個密鑰以及其私密的方式保存,稱為私鑰,一般使用時,我們使用公鑰加密,私鑰來解密,我們可以使用使用非對稱演算法來驗證身份,一般使用私鑰產生數字簽名,使用公鑰進行驗證,即驗證身份的合法性,
數字簽名

它不是對質詢的加密回應
?簽名是一種復雜的數學函式,它利用私鑰、隨機質詢和一個惟一亂數來創建結果
?得到的數字簽名只能使用簽名者的公鑰進行驗證
?…驗證不是解密
?驗證是另一種復雜的數學函式,其惟一目的在于確定發送者的私鑰是否用于創建該數字簽名
?驗證函式的結果為“是/否”結果

證書:證書用于確保物體是真實可靠的,通信雙方在通信之前,必須要建立一個信任鏈,以便彼此共享共同的信任錨或信任根,信任錨通常是OEM,但也可以使證書頒發機構(CA)
(3)證書的簽名和結構
證書內容
?版本和序列號
?演算法ID
?頒發者
?有效期
?開始日期/截止日期
?主題
?主題公鑰資訊
?公鑰演算法
?主題公鑰
?證書簽名演算法
?數字簽名
?頒發者惟一識別符號(可選)
?主題惟一識別符號(可選)
?擴展(可選)

使用加密安全亂數發生器同樣重要
?我們需要與承諾可從嵌入式系統操作中獲得高熵亂數的不法供應商作斗爭

實作強安全性需要什么條件?
高熵亂數發生器
?“熵”是一種嚴重的無序狀態,是隨機性的基礎
?可以信任的不可變真實代碼區域
?用于存盤機密資訊和關鍵加密基元的硬體強制持久安全區域
?通過防篡改保護實作
?強大的加密方法和可靠的信任鏈
?本演示文稿中采用了橢圓曲線加密(ECC)方法,這是現行標準
?由于ECC的密鑰長度較短且安全級別相同,因此正在逐漸取代RSA
?ECC-256位= RSA-3072位
?考慮周全的生態系統和基礎架構

3.系統安全構件
1) 硬體可信根
所有安全系統都需要硬體可信根,其中包含2個屬性:
韌體驗證(又稱為安全引導,適用于所有系統)-- 確保即將運行的軟體為正確的軟體,它涉及映像簽名以及稍后啟動時的程序映像驗證,
可信身份(用于聯網系統)–秘鑰受防篡改保護和邊信道攻擊保護,
這是與可信鏈相關的私鑰或共享秘鑰,應具備根據相關認證標準測驗的防篡改保護和邊信道攻擊保護,
2) 防偽
防止攻擊者仿造一次性物品或復制附件
3) IP保護
防止攻擊者竊取MCU韌體或FPGA RTL中的IP,
價值在于系統代碼內的知識產權(IP),因此,需要在系統運行期間的任何時刻對已簽名的代碼進行驗證,
原理與安全引導類似,但驗證在運行時進行,
4) 安全更新
利用安全通信和安全引導機制來確保安全傳送真實的映像,
對于聯網系統-安全遠程無線(OTA)更新
?對于非聯網系統-本地更新(例如:U盤),前提是待更新的軟體或韌體安全地存盤在相應的位置,
?代碼/軟體/映像簽名和驗證
?安全加載程式(執行更新的軟體)需要對目標設備、檔案或系統進行身份驗證
5) 安全鏈接
對設備通信進行身份驗證并選擇性進行加密
主機和客戶端所連隧道的加密/解密功能可確保安全通信,從而防止中間人攻擊,即試圖在通信隧道內攔截資料加以篡改,
在建立安全通信的程序中,存在一個密鑰協議階段,該階段將請求必須加以保護的可信根,以便能夠開始推送資料和避免出現冒用身份的客戶端,
?通過IP網路的TCP或UDP實作TLS或DTLS層
?以太網、Wi-Fi?和6LowPan等
?協議堆疊可位于MCU/MPU或無線模塊(例如WINC1500)中,
?FPGA SmartFusion2集成了Cortex? -M3以處理通信
?(D)TLS憑證應位于防篡改的第三方經測驗物理安全邊界中,例如,JIL“高”等級安全元件或MCU/MPU上的等效安全元件(如果有)
?其他通信協議堆疊
?Bluetooth? 、Zigbee? 、LoRa和其他802.15.4無線電等
?始終考慮真實性、保密性和完整性
?請記住:僅加密是不夠的
6) 應用層安全
利用系統的加密功能進一步強化實作(訪問權限)
安全性專門應用于應用層以防止未經授權的訪問,
應用層安全是指保護OSI模型第7層應用免受惡意攻擊的方法,這些惡意攻擊可能暴露私人資訊,
機制示例:
?檢測到篡改時禁止密鑰或韌體操作
?完整性監視
?用戶權限/訪問授權
?內核分離
?硬體防火墻
?篡改宏
?歸零
?安全代碼預配置
?映像簽名/驗證
4. 安全引導
可信根可保證客戶資料/引導檔案免于加載到執行環境
?安全引導加載程式可確保設備的可信根
?安全引導可防止在設備中運行未經授權的應用程式
?由于經過加密和簽名,因此允許加載可信的應用程式
?通過檢查完整性并對其進行解密,允許執行可信的應用程式

安全引導加載程式加載經過加密和簽名的應用程式
?將應用程式映像存盤到外部NVM中之前,先進行加密和簽名
?使用AES-CBC進行加密,實作機密性
?使用AES-CMAC或HASH+RSA進行簽名,實作身份驗證/完整性
?加密密鑰存盤在受保護的熔絲矩陣中
安全引導加載程式的原理
?安全引導加載程式執行經過加密和簽名的應用程式
?將映像從外部NVM下載到嵌入式SRAM中
?對映像進行身份驗證(HASH-RSA –AES-CMAC)
?如果通過身份驗證,則解密嵌入式SRAM中的引導檔案(AES-CBC)
?禁止訪問包含身份驗證/加密密鑰的熔絲
?然后,啟動嵌入式SRAM中的映像

如果映像未通過身份驗證,則根據客戶設定,將檢查下一個存盤器或不執行任何操作,因為它可能是惡意的代碼,
5. 物聯網安全
選擇在安全性方面值得信賴并且進行過試驗的供應商使用經過驗證的標準安全性架構和相關實踐
提供惟一、可信、受保護且可驗證的身份,從而確保身份驗證安全(信任根)
加密通信(TLS1.2)
使用安全的OTA韌體驗證和安全引導,

將私鑰與用戶隔離
?人類是最難預測的安全風險
將私鑰與軟體隔離
?補丁發布后,會向攻擊者暴露軟體的弱點,為物聯網硬體開發補丁往往需要幾個月的時間,而這樣會讓攻擊者有足夠的時間入侵系統,
將密鑰操作與制造階段隔離
?不僅與供應鏈設備隔離,還應與供應鏈中的用戶隔離,
將密鑰與單片機隔離
?請勿將私鑰存盤在閃存中
2)創建帶多個證書的設備身份
設備身份應惟一、可驗證且可信加密密鑰對一個私鑰和一個數學上相關的公鑰(一對一的關系)
身份的可信性依賴于在產品的使用壽命內保密的私鑰以及保持安全的加密演算法實作:
?沒有遭受暴力攻擊的可能
?不存在已知協議弱點
?不存在會導致密鑰材料泄漏的邊信道攻擊

證書不是惟一的身份驗證安全模型,客戶只需使用基本公鑰/私鑰對即可對令牌進行簽名,之后會對令牌進行驗證(Google方案)

用于在聯網設備的使用壽命內安全存盤密鑰材料,密鑰絕不存在于設備之外
?密鑰由器件使用滿足NIST規范的“頂級”亂數發生器(RNG)生成,處于器件的安全邊界內
?所有加密演算法都在防篡改邊界內執行
?將密鑰與應用軟體嚴格隔離
?這樣一來,密鑰、機密資訊和原語便可與所有易受攻擊的資源嚴格隔離

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/191295.html

標籤:其他

上一篇:java安全編碼指南之:執行緒安全規則

下一篇:JS 的騷操作

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more