FIND: Distributed Application Management Service (DAMS)

中枢神经系统?find：分布式应用程序管理服务（DAMS）自成立以来，Internet一直是一个难以支持提供安全性、可靠性或其他信任属性的应用程序的环境。但我们呢?我们看到一波网络应用程序需要维护私有数据（例如，敏感的医疗记录），或者扮演正确、容错行为至关重要的角色（例如，空中交通管制）。每个开发人员都被迫发明自己的解决方案，以弥补现有互联网的局限性。这项研究的中心前提是，这代表了一种危险的趋势，研究界必须尽其所能创造新的、更好的选择。智力优势：康奈尔大学的研究人员将开发旨在支持互联网上一种新型可信赖的分布式计算服务的技术。该项目将通过显示以前被视为十几个独立的、通常定义不清的功能可以统一为一个概念上优雅的抽象（分布式角色委托），并通过开发必要的科学和数学来推理该机制，从而具有基础的智力影响。该项目旨在帮助创建下一代关键任务网络应用程序。更广泛的影响：该项目旨在通过创建强大的、可扩展的技术来创建一个有用的解决方案，该技术将实现理论上的最佳性能和可伸缩性，并与特定于应用程序的一致性要求所施加的约束相一致，这是当今世界开发人员所缺乏的。

CNS ? 0828923Birman, Kenneth Cornell UniversityFIND: Distributed Application Management Service (DAMS)Since its inception, the Internet has been a difficult environment for supporting applications offering security, reliability, or other trust properties. Yet we?re seeing a wave of network applications that need to maintain private data (for example, sensitive medical records) or play roles in which correct, fault-tolerant behavior is critical (for example, air traffic control). Each developer has been forced to invent his or her own workarounds to compensate for the limitations of the existing Internet. The central premise of this research is that this represents a dangerous trend and that the research community must do what it can to create new and better options.Intellectual Merit: Cornell University researchers will develop technologies aimed at supporting a new kind of trustworthy distributed computing service on the Internet. The project will have a foundational intellectual impact by showing that what have previously been treated as a dozen separate, often ill-defined functions can be unified into a single conceptually elegant abstraction (distributed role delegation), and by developing the needed science and mathematics to reason about this mechanism. This project aims to help create the next generation of mission-critical networked applications ? systems that can be entrusted with sensitive roles, because they embody solutions shown to have the needed propertiesBroader Impact: This project seeks to create a useful solution that developers worldwide today lack by creating a powerful, extensible technology that will achieve theoretically optimal performance and scalability, consistent with the constraints imposed by application-specific consistency requirements.