paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Towards scalable defense of information flow security for distributed systems

迈向分布式系统信息流安全的可扩展防御
ISSTA Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis2019匹配度 2/10 · 论文聚焦分布式系统的信息流安全与动态/自适应依赖分析,属于程序分析在安全领域的应用;但未涉及用户画像中的核心方向(PL与AI/Agent交叉、浮点程序分析、贝叶斯程序分析)。引用 1 inbox
Xiaoqin Fu
crossref: 2026-09-12

AI 速览

一句话:提出三项关联研究,通过运行时度量、可扩展动态信息流分析和自适应依赖分析,防御分布式系统信息流安全风险。

大型复杂分布式系统的安全漏洞防御十分困难,传统信息流安全方法因可扩展性不足难以适用于真实系统,连续运行系统的在线防御更甚。该研究提出三项相互关联的工作:一是开发度量,结合耦合度量帮助用户在运行时理解与分析分布式系统安全特征;二是开发高可扩展、低成本的动态信息流分析方法,可检测隐式依赖,并在工业分布式系统中发现真实安全漏洞,具有实用可移植性与可扩展性;三是构建自适应动态依赖分析框架,在系统持续运行期间监控安全问题。三者共同服务于可扩展防御这一核心目标。

问题
大型复杂分布式系统难以防御安全漏洞,传统信息流安全方案因可扩展性问题难以适用于真实系统,尤其难以支持持续运行系统的在线防御。
方法
围绕运行时安全度量与耦合分析、可扩展低成本的动态信息流分析、以及面向持续运行的自适应动态依赖分析框架展开三项关联研究。
评估
在工业分布式系统上验证动态信息流分析的可移植性与可扩展性,并展示其检测隐式依赖和真实安全漏洞的能力;自适应框架用于持续运行时的安全监控。
原文摘要(Abstract)

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 原文 ·

BibTeX
@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}
}