为黑盒组件间消息传递构建可独立验证的隐私合规类型系统
计算机科学中的逻辑
2019-01-31 v1
摘要
隐私设计(PbD)是指在软件工程过程的每个阶段都应考虑隐私的原则。它日益被视为最佳实践并受到法律要求。因此，期望拥有能提供某些隐私相关属性成立保证的形式化方法。我们提出一种方法，可用于设计隐私合规架构，而无需了解任何单个组件的源代码或内部结构。我们将架构建模为一组相互传递消息的代理或组件。我们在本文中给出算法，以架构和一组隐私约束为输入，输出满足隐私约束的原始架构的扩展。
引用
@article{arxiv.1901.10892,
title = {Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing between Black-Box Components},
author = {Robin Adams and Sibylle Schupp},
journal= {arXiv preprint arXiv:1901.10892},
year = {2019}
}