前言

本篇部落格是用來記錄自己在閱讀《Self-Protection of Android Systems from Inter-component Communication Attacks》這篇論文期間的閱讀筆記，方便自己日後翻閱檢視，如果對於這篇論文的閱讀有什麼不正確的地方，歡迎大家批評指出。

正文

1、SLAMA的實現流程

2、SALMA結構圖

處理流程：MES-->ISA-->Policy Synthesizer-->Policy Enforcer

MES:觀察系統，自動獲取並維護Android系統精確執行時體系結構模型

ISA：評估系統中存在的安全威脅

Policy Synthesizer：確定最佳安全策略

Policy Enforcer：在執行時強制執行安全策略

3、具體實現細節

MES的實現（維護多域矩陣）

通過雲引擎獲得元組S = (C,I,DBR,DBW,P)，並根據該元組獲得上述多域矩陣

M = (C,I,DBR,DBW,P)，當系統狀態變更時，獲得元組M，並根據兩個元組的並集，獲得上圖多域矩陣

ISA的實現（查詢查詢表）

1、確定受影響的部分：∆MDM e = MDM t2 − MDM t1（兩個多域矩陣相減，1表示安裝應用程式或進行授權，0表示狀態不變，-1表示解除安裝應用程式或者移除許可權）

2、查詢查詢表確定需要進行的安全分析