TC: Small: Secrecy-Preserving Reasoning: Foundations, Algorithms, and Software

这一建议正在为保密推理开发理论基础以及算法和软件。与现有工作不同的是，关键的新思想是利用开放世界语义下的秘密信息和不完整信息之间的不可区分性（就查询代理而言）。主要研究者利用他的思想计算小保密信封，对信封内的查询回答“未知”，同时对信封外的查询如实回答，构成保密性的查询-回答算法。首席研究员计划将这项研究整合到教育中，并加强爱荷华州立大学内外的跨学科合作。此外，他还计划推进与工业伙伴的合作（波音公司在高科技领域，梅奥诊所在医疗保健领域）以及信息保障和国家安全领域的应用。

This proposal is developing theoretical foundations as well as algorithms and software for secrecy-preserving reasoning. The key novel idea, rather different from existing work, is to exploit the indistinguishability (as far as the querying agent is concerned) between secret information, on one hand, and incomplete information, on the other hand, under the open world semantics. The Principal Investigator utilizes his ideas of for computing small secrecy envelopes so that answering "Unknown" to queries inside the envelope while answering queries outside the envelope truthfully, constitutes a secrecy-preserving query-answering algorithm. The Principal Investigator plans to integrate this research into education and to enhance interdisciplinary collaborations within and beyond Iowa State University. In addition, he plans to advance collaborations with industrial partners (Boeing in the high-tech area and Mayo Clinic in the health care area) as well as applications in the areas of information assurance and national security.