演講嘉賓 | 金意兒 回顧整理 | 廖? ?濤 排版校對 | 李萍萍 ? ? 嘉賓簡介 金意兒,華為可信計算首席科學家,IEEE硬件安全與可信專委會聯席主席, OpenHarmony技術指導委員會
2023-05-05 15:47:32
3640 
零基礎如何學習stm32?
2021-12-21 07:53:52
FPGA設計的8大重要知識點,你都get了嗎?
2021-02-03 07:39:08
在HPM6700的datasheet中的1.2.15 信息安全系統有提到“基于BOOT ROM 的安全啟動機制,支持加密啟動,支持可信的執行環境”,請問可信的執行環境如何實現的?有相關的Demo或者資料嗎?是類似于TFM這樣的嗎?
2024-09-25 09:27:05
,獲得了商用OS內核CC EAL5+的認證評級。設備證書認證支持為具備可信執行環境的設備預置設備證書,用于向其他虛擬終端證明自己的安全能力。對于有TEE環境的設備,通過預置PKI(Public Key
2020-11-26 09:30:30
JAVA從零開始學習知識整理——MySql——day05—【hqC】
2020-06-14 16:15:28
為了對無線射頻識別技術進行可信計算平臺的接入,我們在可信網絡連接使用的協議標準基礎上,設計了基于分組密碼CBC 工作模式、ECB 工作模式對消息傳送提供加密,并且以ECC 來加強公開密鑰交換所
2019-09-29 09:01:27
不同制程架構、不同指令集、不同功能的算力單元,組合起來形成一個混合的計算系統,使其具有更強大、更高效的功能。如何在異構計算場景下構建可信執行環境呢?華為可信計算首席科學家、IEEE硬件安全與可信專委會
2023-04-19 15:20:32
`VI被加密環境加密,如何破解`
2016-08-10 09:30:35
技術領域:本發明涉及計算機技術領域,具體涉及一種服務器通信安全加密芯片。背景技術:TCM安全芯片,TCM標準,即中國研發的TCM(Trusted Cryptography Module,可信密碼模塊
2021-09-01 06:37:42
零知識證明是什么
2020-11-06 06:15:40
各位大神好: 我是學習機械設計的,現在想從零開始學習嵌入式開發和PCB設計,請問 需要學習哪些方面的知識?最好能推薦下課本或者課程 ,十分感謝!
2021-05-15 00:29:30
從零開始學習汽車電子,希望各位大神不吝賜教,跪求各種基礎知識,電子、機械都行
2015-07-25 21:32:41
在“單片機入門(1)”和“單片機入門(2)”中,我們學習了單片機硬件方面的知識。本期我們將學習開發環境和編程語言吧。
2021-03-06 07:10:44
大家應該聯合學習啊 ,教學相長!
2012-02-23 21:15:14
本文轉載自 OpenHarmony TSC 《峰會回顧第4期 | 異構計算場景下構建可信執行環境》
演講嘉賓 | 金意兒
回顧整理 | 廖濤
排版校對 | 李萍萍
嘉賓簡介
金意兒,華為可信
2023-08-15 17:35:09
新手學習硬件方面知識,從何入手,該學習哪些東西。新手學習硬件方面知識,從何入手,該學習哪些東西。新手學習硬件方面知識,從何入手,該學習哪些東西。
2015-09-28 21:35:50
毫米波究竟是什么,為什么這么重要?
2020-12-03 07:53:53
淺析加密DNS做出來的網站怎么這么奇怪,是不是被劫持。
2019-04-14 17:28:49
相關默認算法)。客戶端設備安全可信設備標識和認證提供基于阿里云Link ID2的可信設備身份標識和認證服務,保障接入企業級區塊鏈網絡的IoT設備可信可識別。客戶端應用安全可信應用環境針對區塊鏈端上
2019-11-07 16:34:33
“持續風險評估”來提供安全的遠程應用訪問,依據上下文持續驗證,執行細粒度訪問控制。
零信任的核心價值在于適應多樣化業務場景,無論是保障遠程辦公安全、實現多云環境無縫管控,還是保護關鍵基礎設施、滿足強合規
2025-09-09 15:33:18
我看到公司的程序把掉電保存的數據存在了內部FLASH中,而且地址是從零開始存的,這是怎么確定是這個的?這么說來燒錄程序的地址也就是執行首地址是從最后開始執行的嗎?這是在哪里可以看到的呢?
2024-04-30 07:44:27
通過對可信計算及其主要功能“遠端證明”的分析,提出“應用證明”的概念及原理,并說明支持應用證明所需的安全機制。分析現有主流操作系統所使用的保護結構和訪問控制模
2009-07-30 11:13:54
14 本文結合虛擬技術的發展和安全驗證領域的相關技術,為保證網格計算中虛擬執行環境的可信性,提高任務的計算質量,研究了適合于虛擬機應用環境的兩種可信驗證方法:以硬件TP
2009-08-04 15:34:51
19 可信計算是信息安全領域的研究熱點,而遠程證明方法又是可信計算研究中的難點和關鍵。遠程證明就是發出證明請求的一方確認遠程平臺的身份和平臺狀態配置信息的過程。本文
2009-09-01 11:48:41
13 針對NTRU加密方案沒有安全性證明的缺點,基于環上差錯學習(R-LWE)問題給出了一個在標準模型下可證明安全的NTRU加密方案。
2012-05-25 09:31:14
24 基于同態加密的分布式隱私保護線性回歸分析模型_李娟
2017-01-03 17:41:58
0 能夠支持基于 Imagination MIPS CPU 的設備。可信任環境 (TEE) 能在連網設備中提供一個安全的區域,以確保敏感數據能在隔離、可信任的環境中被存儲、處理,并受到保護。
2017-08-03 16:05:44
1660 相結合,構造了一種支持安全多方同態乘積計算的謂詞加密方案,具有乘法同態性。與現有的謂詞加密方案相比,該方案不僅支持同態操作,并且在對最終計算結果的解密權限上,該方案的控制更加精確。在當前云環境背景下,實現了對計算
2017-12-04 11:41:42
3 的虛擬機可信證明方案。私鑰生成中心( PKG)驗證平臺物理環境的狀態可信后,由PKC和虛擬可信平臺模塊( vTPM)管理器利用無證書算法共同生成vTPM簽名密鑰,虛擬機對外證明時采用環簽名機制,將證明者的信息隱藏在環成員列表中,
2017-12-06 17:10:19
0 數據的過程中既保證數據的隱私性,又保證其可用性是面臨的一大難題,同態加密技術作為解決這一問題的關鍵手段,是近年來國際國內學界的熱點問題。本文介紹了云計算隱私安全和同態加密研究進展、同態加密算法的分類、安全理論基礎
2017-12-14 13:34:55
14 同態加密技術可用于保護數據隱私并允許對密文數據進行算術操作,在云計算安全上有著很好的應用前景.針對云計算中的隱私保護和數據安全等問題,本文提出了一種基于同態加密系統的圖像魯棒可逆水印算法,主要思想
2017-12-15 11:15:55
0 區塊鏈尚未快速被企業接納的一大原因,就是企業擔憂攸關企業核心競爭力的機密資料在區塊鏈上外泄,因為區塊鏈的交易是每個節點同步更新資料紀錄,但零知識證明讓企業無須提供進一步信息就能驗證交易。
2017-12-21 08:51:29
1537 的Paillier變體同態加密方案,并證明了其在標準模型下對適應性選擇明文攻擊(adaptive chosen-plaintext attack,簡稱CPA)是安全的:然后,在半誠實模型下,基于該變體同態加密方案設計了一個能夠安全計算過兩私有點直線的協議.還可以將
2017-12-22 16:06:01
0 根據云計算分布式的特點,并結合同態加密和Hadoop環境下MapReduce并行框架,提出了一種基于MapReduce計算框架的并行同態加密方案。實現了具體的并行同態加密算法,并對該方案的安全性
2017-12-27 15:52:29
0 針對現有(全)同態加密方案的整體性能不能達到實用要求的問題,為獲得新的性能更好的同態加密思路,對基于中國剩余定理(CRT)的快速公鑰加密方案的同態性進行了研究。考察了基于原方案構造加法和乘法同態操作
2018-01-09 14:05:45
2 多方保密計算是網絡空間安全與隱私保護的關鍵技術,基于同態加密算法的多方保密計算協議是解決云計算安全的一個重要工具.集合隱私計算是多方保密計算的基本問題,具有廣泛的應用.現有的集合隱私計算方案多是
2018-01-13 10:10:20
0 全同態加密可以在不解密的條件下對密文進行有效運算,為云計算的數據隱私保護提供了一種理想的解決方案,但目前已有的全同態加密體制普遍存在公鑰尺寸大、計算效率較低等問題.利用構造特征向量的思想,基于任意
2018-01-13 10:43:24
0 構造高效、安全的全同態加密方案目前仍然是一個公開問題.通過擴展近似GCD到近似理想格的方法,首先構造一個基于整數上部分近似理想格問題(PAILP)的有點同態加密方案,并使用Gentry的引導技術將其
2018-01-23 13:35:59
2 在分布式AI環境下,同態加密神經網絡有助于保護商業公司知識產權和消費者隱私。本文介紹了如何基于Numpy實現同態加密神經網絡。
2018-03-27 14:52:30
8535 
,Imagination公司展示了MIPS的Sierra TEE,它基于Imagination公司的OmniShield 安全技術來實現多個域的創建——效果如同創建了一個“多信任”的可信執行環境(TEE),那些有加密要求
2018-04-09 07:10:00
2226 最近的一種試驗的一款區塊鏈隱私加密利器。? ? 零知識證明是一種基于概率的驗證方式,驗證的內容包括“事實類陳述”和“關于個人知識的陳述”。驗證者基于一定的隨機性向證明者提出問題,如果都能給出正確回答,則
2018-07-20 14:41:49
395 了解過區塊鏈的讀者一定看到或聽到過“零知識證明”這個詞。其中ZCash就是利用了“零知識證明”,來保證其交易過程的匿名性。
2018-09-28 14:15:51
3382 ING銀行總部位于荷蘭。銀行將經典的零知識證明(一種證明擁有秘密而不泄露秘密本身的方式)改編成一種在銀行內使用的更簡單的形式,稱為零知識范圍證明(Zero knowledge range proofs)。因為采用了這種方法,ING銀行在國際上獲得了很多贊譽。
2018-10-22 11:18:40
965 日本財務大臣麻生太郎周二發表聲明稱,領先的加密貨幣比特幣尚未證明自己是“可信的貨幣”。 他還補充說,一般來說,虛擬貨幣在日本并沒有被廣泛使用。
2018-10-25 11:24:59
1066 加密貨幣交易深度學習項目的重點是利用與Reddit *和Twitter *上的Cryptocurrencies相關的社交輸出的情緒分析。
2018-11-12 06:14:00
3157 針對云服務器上數據驗證效率低的問題,為能夠在正確執行用戶指令的情況下依然保持對數據的高效驗證,構造了一種支持云環境下基于運算電路的同態認證方案。首先,利用標簽生成算法對驗證標簽進行多項式表示
2018-12-27 16:03:06
3 針對目前多方隱私集合比較( PSI)協議計算效率低下以及應用于云環境中會造成用戶隱私信息泄露的問題,提出一種基于布隆過濾器( BF)和同態加密的云外包多方隱私集合比較協議。首先,協議中使
2019-01-18 13:51:26
4 · 零知識性。如果該語句為真,則除了該語句為真之外,驗證者不會學到任何東西。換句話說,僅僅知道語句(而不是秘密)就足以想象一個場景,表明驗證者知道秘密。這是通過每個驗證者都有一個模擬器來實現
2019-02-18 09:35:40
6679 
微軟新發布的兩項專利申請表明,該軟件巨頭正考慮在其區塊鏈產品中使用可信執行環境(TEE)。
根據美國專利商標局周四公布的兩份文件信息顯示,TEE被指定用來在“驗證節點”中存儲“預定類型的區塊鏈
2019-04-19 14:12:01
700 零知識證明最早是在1985年由三位計算機科學家構想出來的, Shafi Goldwasser,他目前是麻省理工學院電子工程和計算機科學教授,Silvio Micali也是麻省理工學院的計算機科學教授,最后是Charles Rackoff,他是一位美國密碼學家,目前在多倫多大學工作。
2019-05-14 14:10:47
1644 零知識證明是基于密碼學的一種算法。可以在不暴露原始信息的情況下,對原始信息中部分信息的有效性進行驗證,能夠保護數據的隱私,同時保證信息證明的安全可靠。
Z-BaaS零知識證明解決方案能夠實現對鏈上信息的隱私保護驗證,降低信任成本,消除隱私泄露的后顧之憂。
2019-06-26 11:23:30
754 區塊鏈交易是公開的,供所有人查看。當區塊鏈上的各方之間發生交易時,人們可以查看發送交易的參與者的地址,交易金額,交易接收者和交易ID。但是,使用所謂的零知識證明,可以將交易設為私有。
零知識
2019-07-01 14:04:05
1227 A可以證明自己有這扇門的鑰匙;
2. A單獨用鑰匙打開房間的門,拿出門后的物品展示給B,也可以證明A的確有這扇房門的鑰匙。
在第二種方法中,A并沒有透露關于鑰匙的完整信息,依然證明了自己擁有這扇門的鑰匙,這種方法就屬于零知識證明啦!
2019-07-15 11:38:52
1348 
“同態加密”的突破使聯邦學習成為解決“隱私保護+小數據”雙重挑戰的利器。
2019-07-19 15:16:56
20531 首先,一個交互式系統,也就是一個對話,它的「零知識」需要證明。畢竟,現代密碼學是建立在嚴格的形式化系統之上。在證明之前,還需要明確「安全假設」到底有哪些。所謂安全假設,比如我們說一個系統的權限隔離
2019-08-07 11:40:25
1297 libsnark源代碼,建議想深入零知識證明的小伙伴都讀一讀。Bellman庫主要圍繞Groth16算法,libsnark給出了SNARK相關算法的全貌,各種Relation,Language
2019-08-18 11:05:47
3984 
借用密碼學家 Boaz Barak 的話,翻譯一下,「零知識證明」并不是通過給出一個不允許發生的事件列表來定義,而是直接給出了一個最極致的「模擬條件」。
所謂「模擬條件」是指,通過「模擬
2019-08-29 11:03:12
15103 
零知識證明是麻省理工學院的研究人員在20世紀80年代提出的一種加密方案。零知識證明協議是指一方(證明方)可以證明某事對另一方(驗證方)來說是真實的。除了此特定陳述屬實之外,不會透露其他任何信息。
2019-09-23 10:28:16
5337 零知識證明確實是一個突破性技術,也期待著它的發展會帶給我們更便捷的生活。
2019-09-27 14:40:11
1552 可信應用可以和觸摸屏,攝像頭還有指紋傳感器等外設進行直接交互,不需要通過REE提供的接口,所以更加保證了安全。
2019-10-12 15:45:53
2827 
零知識證明的工程實現是一件極具挑戰性的工作,但這并不意味著理解零知識證明這件事也同樣困難,它背后的邏輯是簡單的。
2019-11-13 11:35:06
1708 導讀:這周我們先通過兩篇科普文章了解零知識證明的概念,再來了解由“計算機安全教母”宋曉冬教授等人提出的新型零知識證明方案Virgo(處女座)。
2019-12-31 08:54:25
2612 
關于零知識證明(ZKP)的技術類博客文章很多,最近我也寫了一篇文章,比較各種新的通用目的的 zk-SNARK。我發現,關于零知識證明的用例,很少有用非技術語言表述的文章。
2020-01-14 14:11:00
800 PLC本身就是控制電器線路,故學習PLC必備基礎中以電工基礎最重要。零基礎學習PLC其實是從學習電工基礎知識開始的,若是多年從事電工行業的老司機,可以直接跳過電工基礎學習這一步學PLC,其他基礎知識可以在學習PLC過程中邊學邊補充也來得及。
2020-01-15 08:59:20
10205
工作量證明(PoW)、權益證明(PoS)和執行任務量證明(或分配證明 Proof of Assignment)都是加密貨幣挖掘協議。本質上,它們是允許加密貨幣發揮作用的計算機算法
2020-03-07 17:13:00
2872 計算巨頭IBM正在為企業推出完全同態加密(FHE)測試服務。
2020-12-18 10:44:42
2351 IBM Security 正在啟動一項新服務,以將該公司的完全同態加密(FHE)技術推廣到云端或第三方環境中。FHE 支持在處理或分析時保持加密狀態,且 IBM 將為客戶提供相應的培訓、專家支持和測試環境,以開發可利用 FHE 原型應用程序。
2020-12-18 11:46:38
1880 2020年 12月,IBM(NYSE:IBM)Security 宣布推出了一項新服務:可為企業提供完全同態加密 (FHE) 服務,這一新興技術能夠讓數據始終保持加密狀態,即使在云端或第三方環境中進
2020-12-28 15:59:20
1846 近日,大唐高鴻信安聯合兆芯推出設備(云)可信安全解決方案,助力政務、能源、金融、教育等關鍵信息基礎設施行業企業實現從設備硬件到操作系統、云計算平臺及虛擬化環境的安全可信和等保合規,為信創產業的快速
2021-03-08 11:42:08
2595 早前,Intel官方宣布和微軟合作簽下了美國國防高級研究局(DARPA)的同態加密研究項目。DARPA資助的同態加密項目全
2021-03-25 15:54:42
4945 在數字化政府的建設過程中,結合區塊鏈中的智能合約與同態加密技術,提出個人征信隱私保護方案。利用 Paillier同態加密算法設置個人征信信息訪問的盲讀取權限,使得征信訪問用戶在無法獲取個人征信信息
2021-03-30 09:40:58
17 英特爾公司(Intel)已作為美國國防高級研究計劃局(DARPA)的研究合作伙伴,簽署了一項以完全同態加密(fully homomorphic encryption,簡稱FHE)為核心的項目
2021-03-30 18:13:11
3057 今研究的熱點問題。身份基加密方案,能提高對存儲空間的利用率,方便用戶進行公鑰管理。基于格上誤差學習冮LwE)困難問題,首先構造一個基于身份的矩陣加密方案,然后采用改進密鑰轉換技術將同態運算密文的維度縮減到正常值,
2021-04-07 10:26:19
7 ⅶisor,ACCD)問題設計一種新型同態加密方案,并通過建立加密關鍵詞索引提出了新的檢索方案。安全性分析與實驗測試表眀,方案可有效保護用戶數據在存儲與檢索階段的隱私,與傳統的密文檢索方案相比,具有較高的檢索效率及準確性。
2021-04-16 15:05:56
5 divisor,ACD)問題設計一種新型同態加密方案,并通過建立加密關鍵詞索引提出了新的檢索方案。安全性分析與實驗測試表明,方案可有效保護用戶數據在存儲與檢索階段的隱私,與傳統的密文檢索方案相比,具有較高的檢索效率及準確性。
2021-05-31 10:55:51
5 安全的三輪多方計算協議(MPC)。該安全多方計算協議的安全性是基于容錯學習問題(LWE)的兩個變種問題Fer-LW和Some- are-errorless.LWE,而且,通過非交互的零知識證明,我們可以把半惡意攻擊者模型下安全的三輪多方計算協議轉變為在惡意模型
2021-06-02 14:16:35
13 為在密態計算中實現髙效的比較操作,設計一種支持并行加速的多比特同態比較運算器。基于 cuffe軟件庫構造單比特同態數值比較器,在并行運算模式下調用該同態數值比較器,通過GPU硬件實現可比較任意比特
2021-06-11 11:54:12
2 基于全同態加密和全域泛化的云環境匿名算法
2021-06-24 15:25:58
13 基于秘密共享的同態加密圖像信息隱藏算法
2021-07-02 14:48:22
24 考慮到學習過程中有許多小知識點,挺零散的,而且很多還不能保證完全的正確,因此寫此篇博客用以記錄,若以后有更深的理解將歸類整理糾正。自我規定的編寫規范:分類:課程名稱為主,其余暫時以“生活知識”和實在
2021-11-26 10:36:13
29 基于圖嵌入的兵棋聯合作戰態勢實體知識表示學習方法 來源:《指揮控制與仿真》,作者王保魁等 摘 要:為將基于離散符號的兵棋聯合作戰態勢實體知識表示為機器更加容易學習、處理和應用的形式,根據兵棋聯合
2022-01-11 08:34:32
1286 美國國防高級計劃局 (Darpa) 已向四個團隊授予合同,以開發用于完全同態加密的 ASIC 加速器,作為其虛擬環境中數據保護 (DPRIVE) 計劃的一部分。這四份合同已授予 Duality
2022-07-20 10:10:44
2195 
。基于非對稱加密和數字簽名的證書認證過程,其實也是一個零知識證明的過程,驗證者并不需要知曉CA證書,就可以驗證對方是由CA簽發的下一級證書。零知識證明技術不管應用于金融還是其他領域,都可以對隱私保護,性能提升,或者安全性等場景帶來很多幫助。下面,主要從隱私維度來分享華為零知識證明相關技術。
2022-10-13 09:15:11
1821 
互聯網協議安全(IPsec)和傳輸層安全(TLS)或磁盤或閃存的持久性存儲加密技術,如Windows的BitLocker和Linux的dm-crypt。然而,隨著生活方式變得越來越數字化,智能設備已成為我們日常活動中不可分割的一部分,對安全性的需求顯著增加。
2022-10-20 09:33:29
990 
企業環境中加密挖礦的風險在你的企業環境中運行的加密挖礦軟件有三個主要風險:成本的增加:電力消耗對加密挖礦至關重要。如果有人使用你的系統進行挖礦,他們有可能增加你系統的資源使用量,以提
2022-05-24 16:44:53
1125 
、可控、可量產的目標,上海交通大學并行與分布式系統研究所(IPADS)開源了基于RISC-V架構的全新可信執行環境“蓬萊”(PenglaiEnclave)。蓬萊主頁h
2022-07-22 11:42:47
1187 
、模型被攻擊和知識產權被竊取等一些列隱私和安全風險或挑戰。 可信執行環境(Trusted Execution Environment,以下縮寫為 TEE)是一項基于軟硬件組合創建安全執行環境,能夠更好地確保計算和數據處理機密性和完整性。其關鍵機制為: 安全隔離: 通過硬件加密和內存隔離等硬件隔離技術,將
2023-07-14 20:10:07
1390 
全同態加密是一種加密技術,允許在不解密的前提下,對密文進行一些有意義的運算,使得解密后的結果與在明文上做 “相同計算” 得到的結果相同。
2023-08-09 10:20:41
7277 
另據最新消息,致力于知識成果轉化的清華大學交叉信息研究院創新載體——深圳市智芯華璽信息技術有限公司(Accseal Ltd.)發布了全球首枚零知識證明(Zero Knowledge Proof, ZKP)片上系統(System on Chip, SOC)芯片 Accseal LEO Chip。
2024-02-01 15:39:52
7766 純凈IP,作為構建可信網絡環境的基石,其重要性不言而喻。在網絡日益復雜、攻擊手段層出不窮的今天,純凈IP成為了確保網絡安全、提升用戶信任度、網絡環境健康發展的關鍵因素。
2024-10-25 07:27:41
848 加密算法的選擇對于加密安全至關重要,因為它直接影響到數據保護的有效性和可靠性。以下是幾個關鍵點來說明加密算法選擇的重要性: 加密強度: 加密算法的加密強度直接關系到數據的安全性。一個強度不足
2024-12-17 15:59:43
793
評論