信息流分析技術 (information-flow analysis) 通過分析程序中數據傳播的合法性以保證信息安全,是防止數據完整性和保密性被破壞的有效手段。
信息流分析技術的核心思想是:首先給數據添加一個標簽,此標簽隨數據在系統中傳播,并根據標簽來獲得數據在系統或應用程序中傳播的相關信息;然后制定信息流策略并建立相應的信息流模型,通過分析數據傳播的相關信息以確定是否存在違反信息流策略的信息安全隱患,即若被分析對象的信息傳播過程符合制定的信息流策略,則認為被分析對象是安全的,否則就是不安全的。
根據信息流策略描述方法的不同,信息流模型可以分為基于格、基于安全類型、基于安全進程代數(Securily Process Algebra, SPA)和基于H動機等四種主要形式。
回答所涉及的環境:聯想天逸510S、Windows 10。
信息流分析技術 (information-flow analysis) 通過分析程序中數據傳播的合法性以保證信息安全,是防止數據完整性和保密性被破壞的有效手段。
信息流分析技術的核心思想是:首先給數據添加一個標簽,此標簽隨數據在系統中傳播,并根據標簽來獲得數據在系統或應用程序中傳播的相關信息;然后制定信息流策略并建立相應的信息流模型,通過分析數據傳播的相關信息以確定是否存在違反信息流策略的信息安全隱患,即若被分析對象的信息傳播過程符合制定的信息流策略,則認為被分析對象是安全的,否則就是不安全的。
根據信息流策略描述方法的不同,信息流模型可以分為基于格、基于安全類型、基于安全進程代數(Securily Process Algebra, SPA)和基于H動機等四種主要形式。
回答所涉及的環境:聯想天逸510S、Windows 10。