2018/9/17 dcTPM: 一個對於動態內文管理的一般性架構 dcTPM: A Generic Architecture for Dynamic Context Management 林孟諭 Dept. of Electrical Engineering National Cheng Kung.

Slides:



Advertisements
Similar presentations
定 格 入 格 破 格 —— 新诗仿写复习训练 仿照下列句子,再把 “ 人生 ” 比喻成 “ 大海 ”“ 天空 ” , 造两个句子。 如果说人生是一首优美的乐曲,那么痛苦则 是其中一个不可或缺的音符。 参考答案: 1 、如果说人生是一望无际的大海,那么挫折则 是其中一个骤然翻起的浪花。 2 、如果说人生是一片湛蓝的天空,那么失意则.
Advertisements

平衡飲食保健強身 整理至簡體版,作者不可考。內容為 參加國際健康會議所發表的心得。. 人應該活多久 有人告訴我五六十歲就差不多了。 我在醫院工作四十年了,絕大部分病死的人是 很痛苦的。 我在美國遇見張學良,一進門見到他就大吃ㄧ驚, 他眼不花,耳不聾,很多人問他:少帥,您怎 麼能活這麼久? 他回答:不是我活的久,是他們活的太短了。
1 Department of Electrical Engineering 多元入學之備審資料及 面試準備 國立中央大學 電機工程學系 李進福 National Central University.
核探测与核电子学国家重点实验室 State Key Lab of Nuclear Detection & Electronics 中国科学技术大学 University of Sci.& Tech. of China 1.4 核电子学 ASIC 研究 虚实结合 -- 核与粒子物理 实验教学的探究 报告人.
我国国有银行 资本构成及资本充足率变化 小组成员:金融 尹佳裕 王淼 刘钰 金融 吴昱.
北京市二级以上医院疾病预防控制工作考核标准(试行) (七)健康教育 北京市疾控中心 健康教育所 李玉青 副主任医师 二〇一一年八月 四、技术考核.
10 级微电子飞跃讲座 ― 电路方向 马思鸣 北大信科微电子 10 级.
智慧型運動控制晶片設計介紹 課程名稱:運動控制概論 學生姓名:蔡宗憲 班 級:控晶四乙 學 號: 4982C048 授課教師:王明賢 林家慶, 智慧型運動控制晶片設計晶片設計介紹 控制器技術期刊, 工業技術研究院 機械所, 民國 97 年。 1.
高中物理学习方法. 【状元说经】 胡湛智,是贵州省高考理科状元,他说复习物理 的要点首要的是充分重视课本知识,除了跟上老 师的步调外,自己一定要多钻研课本,课本上的 思考题是复习的纲,再找一些考点解析,认真搞 清每个概念、每个要求,并相应做一定数量的习 题;其次也要特别重视画图的作用,画图有直观、
VMSF 內核級虛擬機監控器調度框架 1 張力升 Dept. of Electrical Engineering National Cheng Kung University Tainan, Taiwan, R.O.C
人社分中心 职工养老保险业务简介. 基本养老保险分类 1. 职工养老保险 2. 新型农村社会养老保险 3. 城镇居民社会养老保险 (城乡居民社会养老保险) (城镇居民社会养老保险和新型农村社会养老 保险合并实施)
台北市立南港高工 建築科 Architecture 建築科之精神:活力、責任、效率 建築科之展望:共築美麗人生 綜合高中 土木建築學程簡介  綜高土建升學進路  未來出路展望  專業證照考試  未來展望圖例  綜高土建學程課程架構  土建群統一入學測驗考科  升學人數統計.
東元綜合醫院 主講人:醫事課 課長 張桂瑛 醫管處醫事課 新人教育訓練課程 -批價作業.
联合国提出个口号:“千万不要死于无知” 保健的三个里程碑 平衡饮食 有氧运动 心理状态.
當我已老 謹以此文獻給像我一樣流浪在外的子女們.
可信计算技术研究 国家信息化专家咨询委员会委员 沈昌祥 院士.
平衡飲食保健強身.
2015年12月14日-2015年12月20日 缩略版.
指導老師:羅夏美 組別:第四組 組員: 車輛二甲 蔡中銘 車輛三甲 莊鵬彥 國企二甲 陳于甄 國企二甲 詹雯晴 資傳二乙 林怡芳
上海证券交易所 会籍业务办理参考 交易单元租用、退租业务 2012年12月 本分册主办单位:上海证券交易所
2代系統簡介 (招標、領標、開標、決標).
F-5型戰機延壽計畫 執行期程:83-89 執行項目:
軍用電腦科技趨勢與產業應用 全科科技 陳以昌.
领会法律精神 理解法律体系 城控313-3班益达组制作.
Informational School,Guangzhou University Spring 2005
农业银行网上签约流程 宁夏金溢投资 内部资料 1.
廉政會報專題報告 農地重劃工程 施工常見缺失 報告:吳東霖 製作:張昌鈴 日期:103年12月23日.
專案製作經驗談.
理工科系介紹.
第二章 项目一:企业厂区与车间平面设计 1.
“网络问政”给九江新闻网 带来新的发展机遇 -- 九江新闻网 高立东 --.
物流账册系统介绍 2012年5月16日 北京.
社 会 保 险 知 识 培训教材.
第三期 重点管理标准和制度宣贯会 2016年5月12日.
國立金門大學101學年度新生報到暨入學說明會 國立金門大學 學生宿舍 學務處簡介.
新办纳税人办税服务指南 (郑州经济技术开发区国税局)
國立雲林科技大學 教師升等實務作業 報告人:人事室.
平行控制 數據驅動的計算控制方法 陳品杰 Department of Electrical Engineering
第8章 机床操作 主讲:臧红彬 博士.
Department of Electrical Engineering National Cheng Kung University
维新派代表人物 梁启超.
金門縣重大空難應變機制-消防局 壹、消防搶救、滅火、緊急救護 一、派遣作為:
依法保护青少年健康成长 1、相关新闻 2、相关法律.
社会工作概论 个案工作 课程培训 深圳电大 赖小乐.
交流一: 您的客户为什么要买医疗产品? 1.人总归会生病,生病肯定要花钱; 2.现在的医疗费用真的很高,承受不起;
济源市国税局网上办税业务介绍 主讲人 办税服务厅 杨武兵 2014年8月1日.
簡 報 大 綱 壹、緣起 貳、執行過程 參、效益.
前言.
前不久看到了这样一则报道:某个大学校园里,一个大学生出寝室要给室友留一张字条,告诉他钥匙放在哪里。可是“钥匙”两个字他不会写,就问了其他寝室的同学,问了好几个,谁也不会写,没办法,只好用“KEY”来代替了。 请大家就此事发表一下自己看法。
教師升等資料準備說明會 國立屏東科技大學 報告單位:人事室 報告日期:104年6月8日
寫 作 教 學 6 電腦與我 時代改變,科技進步,電腦成為日常生活不可或缺的設備。我是二十一世紀的E世代少年,一隻滑鼠在手,樂趣無窮。
卫生监督协管服务 张家口市卫生监督所.
利用共同供應契約 辦理大量訂購流程說明.
作業系統 補充: 雲端運算.
Mobile Communications Networking Lab. 行動通訊網路實驗室
南瑞学堂 学员简明操作指南 上海时代光华教育发展有限公司 2013年.
作業系統 第三章 作業系統結構.
使用服务平台办理离校 操作指南.
計畫名稱-分包研究項目名稱.
目次检索 打印 下载 文字摘录 更换背景 多窗口阅读.
電能領域修課流程圖-大學部(甲乙班) 大一上 大一下 大二上 大二下 大三上 大三下 大四上 大四下 畢業出路 *電動機 *電力系統 普通
学年第一学期领取教材明细查询的通知 学年第一学期学生使用的教材均在网上平台公示。现将有关事项通知如下:
贏得萬邦的異象.
兒童及少年保護、 家庭暴力及性侵害事件、 高風險家庭 宣導與通報
「同根同心」- 交流計劃 廣州及珠三角經濟發展兩天考察團 2016
組長:李儂.組員:溫芷沂.詹文君 桃園市北門國小5年12班
台灣房價指數 台灣房屋 中央大學 2011年7月29日.
光陽公司簡介 所在地:高雄市三民區灣興街35號 (TAIWAN R.O.C) 資本額 美金 1.77 億元 營業額 研發費用占 6.85 %
Advanced Competitive Programming
Presentation transcript:

2018/9/17 dcTPM: 一個對於動態內文管理的一般性架構 dcTPM: A Generic Architecture for Dynamic Context Management 林孟諭 Dept. of Electrical Engineering National Cheng Kung University Tainan, Taiwan, R.O.C

大綱 摘要 介紹 一般的動態內文管理概念 初步 一般性架構的主要元件 建立、交換、刪除信任單元 DCTPM 架構規格 細部的dcTPM架構 內文權限協定 dcTPM - 命令 結論

摘要 隨著新科技的出現,對於信任平台(Trusted Platform)的需求也不斷的在改變。 如此,現在的信任平台模組(Trusted Platform Modules (TPMs))必須要處理一些在設計上沒有考量到的議題。 信任平台模組的其中一項不足的地方就是沒有能力在行動計算、虛擬化、以及雲端計算來支援多重stakeholder。 本論文提出了一個新穎的架構,稱為動態-內文TPM (dcTPM),可以來滿足每一個在多重stakeholder應用裡面的參與者的需求。

介紹 信任計算是一個新興科技,由信任計算團體(Trusted Computing Group (TCG))所發展與提倡, 信任計算在系統上提供了硬體式的安全給使用者加密的秘密。 在這方面它使用了一個加密模組,稱為信任平台模組(Trusted Platform Module (TPM)) 考慮一個行動平台情境,也就是裝置製造商、細胞式服務 提供商、應用服務提供商、還有使用者本身都作為不同的 stakeholder。 在這裡,行動平台的的功能就是去提供每一個應用的當前狀態的 一個可信任的證明給個別的stakeholder。 除了產生一個有信任價值的描述,行動平台還必須保證每一個 stakeholder資料的隔離性。 這個提出的dcTPM架構支援多個相互隔離的單元,稱為信 任單元(Trust Compartments),它可以是實體TPM(硬體)、 模擬的TPM(軟體)、或是兩者的結合。

一般的動態內文管理概念 動態內文管理的核心就是平行以及可以平行的提供唯一 stakeholder內文的相互隔離單元的多樣形式。 當一個stakeholder跟內文管理者溝通,這代表它正要存取 與一個獨立TPM相關的資料和資訊,與這個特定內文有關 聯。 一個關於動態內文管理的內文可以是一個記憶體位址,包 含對於執行的TPM功能的基本加密資訊, 舉例來說,在一個多個stakeholder情境中,主要關心的是在平台 上證明每一個stakeholder應用的狀態以及保護stakeholder資料。

初步 在這篇論文裡,我們使用內文(context)這名詞來談論提供 TPM相關功能給特定stakeholder的抽象概念。 信任單元(Trust Compartment)這名詞用來給一段特定的內 文的實體實現。 為了實現信任單元,我們使用了部分的重組技術,使得在FPGA上 分配時間讓硬體資源共同來使用。

一般性架構的主要元件 (1/2) 一般性架構包含了數個信任單元, 信任單元的存取和管理都是由動態內文管理器所控制,此外也提 供了一個介面通到主機PC。 運行在主機的程式透過認證以及發送命令來存取動態內文 管理者裡的資料,而這些動作都由現成的TPM所完成。 此外,為了遵循規格,信任單元包含了對於TPM命令執行 的加密引擎。 信任單元簡單概述如下。 FPGA IP-Core:這個種類是一種FPGA式的TPM 硬體實現,直接佈 署了加密引擎來當作硬體模組。加密內容的儲存是對應到不易揮 發的記憶體,此記憶體由動態內文管理器所管理。 Processor IP-Core:一個模擬軟體式的信任單元。因此,一個軟核 (softcore)處理器必須要配置,接著執行一或多個信任單元模擬器。 就像FPGA IP-Core一樣,加密內容是儲存到不易揮發的記憶體。 LPC & I2C Wrapper:這個種類提供介面來存取現有的ASIC TPMs。 根據實際的介面,需要選擇適當的組態。

一般性架構的主要元件 (2/2) 圖一、一般系統架構

建立、交換、刪除信任單元 Stakeholder詢問動態內文管理者來建立一個內文,接著引 導到信任單元單元的配置。 對於FPGA IP-Core和Processor IP-Core,改變信任單元是有 可能的 透過儲存相關的內文資料到不易揮發的儲存器中。 刪除內文基本上取決於信任單元的實現,可分為兩種不同 的方法。 這類型為一個現成的硬體TPM,那使用者可執行TPM_OwnerClear 命令,來移除儲存stakeholder 的TPM儲存stakeholder。 為了刪除由IP-Core、FPGA式或運行TPM模擬器的軟核處理器所實 現的類型,需要通知動態內文管理者要刪除的訊息,來釋放相關 的記憶體。

DCTPM 架構規格 對於動態替換信任單元,dcTPM必須根據stakeholder的需 求來支援一般性介面。 在一般電腦系統裡,TPM是附加在低接腳數(LPC)匯流排, 如TCG所做說明。 如此,一個實現dcTPM的Naïve方法可能要直接連接多個硬體TPM 到LPC匯流排上。 但為了簡化BIOS實現和系統的安全啟動,LPC匯流排給TPM的位址 只有0xFED40000。 如此,因為很明顯地位址衝突,不可能直接連接超過一個現成的 TPM到LPC匯流排。

細部的dcTPM架構 (1/4) 雛型實現利用FPGA來當作主要元件,可以提供介面給主機、 記憶體、周邊裝置還有個別的TPM。 FPGA具有軟核像是CPU、記憶體控制器、多種的I/O控制器還有LPC 匯流排控制器。 除了軟核,FPGA實現單一主機控制器給LPC匯流排,也就 是硬體TPM所連接的。周邊介面控制器提供主機PC端連結 給dcTPM。 dcTPM架構的核心元件是MicroBlaze軟核處理器,可以運 行uClinux作業系統。 n-TPM驅動用來連接兩個硬體TPM,透過個別的裝置節點 (像是/dev/tpm0 和 /dev/tpm1)

細部的dcTPM架構 (2/4) 圖二、細部的dcTPM架構

細部的dcTPM架構 (3/4) 對於周邊介面控制器的驅動提供了一個裝置節點式的,從 主機介面到使用者空間程式的連結,稱為dctpmd (dcTPM Daemon)。 Dctpmd會讀取由主機介面收到的資料,像是dcTPM命令, 解包裝它們到本地TPM命令,並將它們送到個別TPM單元。

細部的dcTPM架構 (4/4) MicroBlaze CPU運行uClinux作業系統。 為了執行多個軟體TPM單元在uClinux映像上,較大數量的 記憶體是必要的,也就解釋了表一中所見的,DDR2控制 器的高度資源利用。 網路介面用於兩個明顯的目的:一方面是發出命令,另一 方面是提供網路檔案系統。 表一、DCTPM雛型實現的資源利用

DCTPM:協定和命令 這項工作的主要焦點在於dcTPM的功能實現,而不是呈現 安全性協議的細節分析。 我們依靠特定可用的協議像是SKAP(Session Key Authorization Protocol) 在使用者處理和傳統TPM中間建立一個安全的區域就像是訊息交 換。 不像是OSAP和OIAP,SKAP根據公眾的金鑰加密來同時避免TPM模 擬和弱權限資料攻擊。

內文授權協定 (1/3) dcTPM管理全部可用的信任單元以及將即將進來的命令送 到指定的單元。 在存取特定的信任單元之前,stakeholder應用必須建立一個權限 區域。 信任單元的溝通包裝在一個封包裡,遵循TCG規格。 這種包裝處理實現在可信任的軟體堆疊(trusted software stack (TSS)) 的下一層,來允許stakeholder命令到相關信任單元的傳輸透明化。

內文授權協定 (2/3) 在我們的案例中,特定信任單元的選擇以及它的溝通是利 用一個修改過的SKAP協定來完成的,這協定稱dcTPM SKAP, 如圖三所示。 一個stakeholder應用透過傳送一個唯一的dcTPM_AUTH封包通過溝 通頻道,來請求一個專屬的存取給dcTPM的信任單元。 dcTPM_AUTH包含區塊處理comph還有隨機數S,由公用鑰匙 (pk(comph))來加密。 接著,dcTPM傳送dcTPM_SESS封包,包含了用來辨認內文的權限 處理ah,以及ne,像是第一個隨機數。 現在stakeholder應用和dcTPM可以從已知的訊息來獨立計算區域鑰 匙K。 經由計算參數的HMAC、內文處理ad(comph)的權限資料、以及ne可以得到K, 伴隨鑰匙S。

內文授權協定 (3/3) 圖三、內文權限協定

dcTPM - 命令 為了利用先前所提的協定來實現所提出的架構,新的命令 需要與傳統的TPM做個比較。 表二總結了這些dcTPM命令的需求。

結論 在這個貢獻裡面我們提出了一個新穎的架構,稱作dcTPM, 可以滿足多個stakeholder應用的需求,就如同在行動通訊 或是雲端計算。 為了這個目的我們題提出一個系統架構,利用部分重組技 術來支援多種信任單元實現。 所提出來的硬體/軟體架構已經在Virtex-5 LX110 FPGA 平台 上面做一個概念證明的實現來評估功能性的dcTPM概念的 可行性。

dcTPM架構 – 整合 (1/2) 雛型實現利用FPGA來當作主要元件,可以提供介面給主機、 記憶體、周邊裝置還有個別的TPM。 FPGA具有軟核像是CPU、記憶體控制器、多種的I/O控制器還有LPC 匯流排控制器。 dcTPM架構的核心元件是MicroBlaze軟核處理器,可以運 行uClinux作業系統。 其中,對於周邊介面控制器的驅動,有一個裝置節點式的,從主 機介面到使用者空間程式的連結,稱為dctpmd (dcTPM Daemon)。 Dctpmd會讀取由主機介面收到的資料,像是dcTPM命令(create, swap, delete…), 解包裝它們到本地TPM命令,並將它們送到個別TPM單元。 除了軟核,FPGA實現單一主機控制器給LPC匯流排,也就是硬體 TPM所連接的。 周邊介面控制器提供主機PC端連結給dcTPM。 n-TPM驅動用來連接兩個硬體TPM,透過個別的裝置節點(像是 /dev/tpm0 和 /dev/tpm1)

dcTPM架構 – 整合 (2/2) dcTPM架構 HW TPM1 Daemon HW TPMn SW TPM1 SW TPMn