SatPolicy: 基於Trustzone的衛星政策執行系統;SatPolicy: A TrustZone-based Policy Enforcement Mechanism on the Satellite

NCU Institutional Repository > 資訊電機學院 > 資訊工程研究所 > 博碩士論文 > Item 987654321/86775

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/86775

题名:	SatPolicy: 基於Trustzone的衛星政策執行系統;SatPolicy: A TrustZone-based Policy Enforcement Mechanism on the Satellite
作者:	黃宇帆;Huang, Yu-Fan
贡献者:	資訊工程學系
关键词:	Policy Enforcement;強制訪問控制;公開金鑰基礎建設;可信執行環境;ARM TrustZone;Policy Enforcement;Mandatory Access Control;PKI;Trusted Execution Environment;ARM TrustZone
日期:	2021-08-30
上传时间:	2021-12-07 13:12:18 (UTC+8)
出版者:	國立中央大學
摘要:	隨著衛星數量的顯著增加，在衛星上實現政策執行變得越來越重要。為了在衛星上執行政策，我們提出了衛星政策執行機制Sat- Policy。在SatPolicy 中，根據合法的行程間通訊(Inter-Process Commmunication( IPC)) 來指定強制性的策略。SatPolicy 的策略執行機制包括IPC 流驗證器和政策解析器，我們將這兩個模組實作在可信執行環境(Trusted Execution Environment(TEE)) 中，以避免來自豐富執行環境(Rich Execution Environment(REE)) 的攻擊並防止政策洩漏給攻擊者。此外，為了避免政策更新的風險，SatPolicy 將基於(Public Key Infrastructure(PKI)) 的安全軟體更新機制與TEE 軟體驗證機制結合。 SatPolicy 僅允許具有合法身份（即具合法證書的開發者）的軟體開發者將軟體佈署到衛星上。最後，我們在ARM 開發板上測量了我們實作的部分，我們也證明它的低開銷和有效性。;With the significant increase in the number of satellites, satellite policy enforcement is becoming more and more important. In order to enforce policies on satellite, we present SatPolicy, a policy enforcement mechanism on satellites. In SatPolicy, mandatory policies are specified in terms of permitted inter-process communication. The policy enforcement mechanism of SatPolicy includes IPC flow verifier and policy parser, which are implemented in Trusted Execution Environment (TEE) to avoid attacks from the Rich Execution Environment (REE) and prevent policies leak to attackers. In addition, to avoid the risk of policy update, SatPolicy integrates PKI-based security software update mechanism with TEE software verification mechanism. Sat- Policy only allows software developers with legal identities (i.e. certificates) to deploy software to satellites. Finally we evaluate our implementation on ARM development board illustrating its low overhead and effectiveness.
显示于类别:	[資訊工程研究所] 博碩士論文

文件中的档案:

档案	描述	大小	格式	浏览次数
index.html		0Kb	HTML	114	检视/开启

在NCUIR中所有的数据项都受到原著作权保护.

社群 sharing

数据加载中.....