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.