CAREER: Foundations and Implementation of Mobile Object Systems

下一代计算机系统的特点将是无处不在的网络化设备，由各种网络相互连接，并组织成松散的、动态变化的联盟。这项研究解决了如何为这些新计算机系统编程的问题。特别是，对异构分布式系统编程的基础和实现技术进行了研究。可信软件组合：本研究的重点是为软件组合开发一个安全基础设施，该基础设施由策略元语言和语言级执行机制（如类型驱动的静态执行和自动包装代码生成）组成。移动演算：该项目将研究核心互联网编程语言的基础，该语言具有良好的代数理论、到分布式实现的自然映射以及作为类型的安全属性表达。这项工作有望在各个领域得到应用；从具有高信息保障要求的分布式应用程序到活动网络和分布式系统监控和管理。

Next generation computer systems will be characterized by pervasivenetworked devices interconnected by a variety of networks and organized inloose and dynamically changing confederations. This research addresses thequestion of how to program these new computer systems. In particular,foundations and implementation techniques for programming heterogeneousdistributed systems are being investigated. Specific results are expected inthe following areas:Trusted Software Composition: This research focuses on developing a security infrastructurefor software composition consisting of a policy meta-language andlanguage-level enforcement mechanisms such as type-driven staticenforcement and automatic wrapper code generation.Mobile Calculi: The project will investigates the foundations of a coreInternet programming language with a good algebraic theory, a naturalmapping into a distributed implementation, and expression of securityproperties as types.This work is expected to have applications in a variety of fields; from distributedapplications with high information assurance requirements to activenetworks and distributed system monitoring and administration.