ITR: Algorithms for the Technology of Trust

建议：CCR-0312760TITLE：用于信任技术的算法：Michael T.Goodrich该项目针对一个对社会至关重要的主题领域--有效地维护计算和计算资源的安全的方法，包括通信重要数据的网络。此外，这项工作还涉及一项重要的教育任务，即将网络安全算法整合到本科计算机科学课程中。研究重点是开发在网络环境中执行可信计算的高效算法。要调查的主题包括：*经过验证的数据结构和算法：该项目特别强调验证数据结构和算法的结果的方法，即使这些计算是由不受信任的第三方代表受信任源执行的。*经审计的算法：该项目将探索一种新的计算框架，在该框架中，计算由不受信任的用户社区执行，但这种计算由具有有限计算资源的外部审计员进行检查。*民主信任保证：该项目还针对希望在其组内建立信任的同行社区的基础设施。特别感兴趣的是实用且可能适用于网格计算的解决方案，同时允许多个客户端和服务器。

Proposal: CCR-0312760TITLE: Algorithms for the Technology of TrustPI: Michael T. GoodrichThe project is directed at a subject area of critical importance to society--methods for efficiently maintaining the security of computations and computational resources, including the networks that communicate vital data. In addition, the work involves an important educational mission to integrate cyber-security algorithms into the undergraduate computer science curriculum.The research focuses on developing efficient algorithms for performing trusted computations in a networked environment. Themes to be investigated include:* Authenticated data structures and algorithms: The project places special emphasis on methods for authenticating the results of data structures and algorithms, even when those computations are performed by an untrusted third party on behalf of a trusted source.* Audited algorithms: The project will explore a new computational framework in which computations are performed by a community of untrusted users, but this computation is checked by an external auditor with limited computational resources.* Democratic Trust Assurance: The project is also directed at infrastructures for a community of peers who want to establish trust within their group. Specific interest is in solutions that are practical and potentially applicable to grid computing, while allowing for multiple clients and servers.