Collaborative Research: Basic Research in Information Privacy

9900951 作者：Geoffrey S. 佛罗里达国际大学信息隐私基础研究如果我们希望在真实的系统中证明安全性，就需要新的信息隐私模型。 传统方法将隐私视为安全或信息流属性，前者在协议中常见，后者在系统中常见。 然而，这两种方法都是不够的。 安全性太弱，无法拒绝一些明显的隐私侵犯，信息流太强，无法接受一些有用的系统。 其中有一些安全性依赖于随机性和秘密长度等参数。 此外，需要新的设计原则来指导构建展现新特性的真实的系统。 本研究调查了信息隐私的实际模型以及它们在程序中始终保持的条件。 研究了在实际系统及其实现中证明隐私的新技术。

9900951 Smith, Geoffrey S. Florida International UniversityBasic Research in Information PrivacyNew models of information privacy are needed if we ever expect to make proving security in real systems practical. Traditional approaches treat privacy as a safety or information-flow property, the former being common among protocols and the latter among systems. Yet neither approach is adequate. Safety is too weak to reject some obvious privacy violations and information flow is too strong to admit some useful systems. Among them are those whose security rests on parameters like the randomness and length of a secret. Further, new design principles are needed to guide in building real systems that exhibit the new properties. The research investigates practical models of information privacy and conditions under which they always hold in programs. New techniques are investigated for proving privacy in practical systems and their implementations.