arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1608.04671cs.CR
收藏

基于静态污点分析的软件体系结构隐私性评估

Privacy Assessment of Software Architectures based on Static Taint Analysis

Marcel von Maltitz, Cornelius Diekmann, Georg Carle

摘要:

隐私分析至关重要,但也是一项耗时且繁琐的任务。我们提出了一个形式化,简化了设计和审计高层次的软件体系结构的隐私属性。它被纳入一个更大的政策分析和验证框架,并使人们能够评估普遍接受的隐私数据保护目标。该形式化基于静态污点分析,并使隐私关键数据的流动和处理在全局以及单个数据主体的级别上显式。形式上,我们表现出等同于传统的基于标签的信息流的安全性,并证明我们的工具与伊莎贝尔/HOL的整体稳健性。我们证明了在两个现实世界的案例研究的适用性,从而揭示了以前未知的侵犯隐私的限制,在分析的软件架构。

英文摘要:

Privacy analysis is critical but also a time-consuming and tedious task. We present a formalization which eases designing and auditing high-level privacy properties of software architectures. It is incorporated into a larger policy analysis and verification framework and enables the assessment of commonly accepted data protection goals of privacy. The formalization is based on static taint analysis and makes flow and processing of privacy-critical data explicit, globally as well as on the level of individual data subjects. Formally, we show equivalence to traditional label-based information flow security and prove overall soundness of our tool with Isabelle/HOL. We demonstrate applicability in two real-world case studies, thereby uncovering previously unknown violations of privacy constraints in the analyzed software architectures.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑