一句话:提出三项关联研究,通过运行时度量、可扩展动态信息流分析和自适应依赖分析,防御分布式系统信息流安全风险。
大型复杂分布式系统的安全漏洞防御十分困难,传统信息流安全方法因可扩展性不足难以适用于真实系统,连续运行系统的在线防御更甚。该研究提出三项相互关联的工作:一是开发度量,结合耦合度量帮助用户在运行时理解与分析分布式系统安全特征;二是开发高可扩展、低成本的动态信息流分析方法,可检测隐式依赖,并在工业分布式系统中发现真实安全漏洞,具有实用可移植性与可扩展性;三是构建自适应动态依赖分析框架,在系统持续运行期间监控安全问题。三者共同服务于可扩展防御这一核心目标。
It is particularly challenging to defend common distributed systems against security vulnerabilities because of the complexity and their large sizes. However, traditional solutions, that attack the information flow security problem, often fail for large, complex real-world distributed systems due to scalability problems. The problem would be even exacerbated for the online defense of continuously-running systems. My proposed research consists of three connected themes. First, I have developed metrics to help users understand and analyze the security characteristics of distributed systems at runtime in relation to their coupling measures. Then, I have also developed a highly scalable, cost-effective dynamic information flow analysis approach for distributed systems. It can detect implicit dependencies and find real security vulnerabilities in industrial distributed systems with practical portability and scalability. In order to thoroughly solve the scalability problem in general scenarios, I am developing a self-adaptive dynamic dependency analysis framework to monitor security issues during continuous running. In this proposal, I outline the three projects in a related manner as to how they consistently target the central objective of my thesis research.
DOI 原文 ·
@inproceedings{paperbot5369,
title = {Towards scalable defense of information flow security for distributed systems},
author = {Xiaoqin Fu},
booktitle = {ISSTA},
year = {2019},
doi = {10.1145/3293882.3338988}
}