Object Systems: Programming Languages and Software Security

这个项目解决了面向对象编程语言和软件安全领域的问题。其目标是简化软件系统的结构和生产过程，并提高其对某些形式的不安全性的抵抗力。这些技术都是分析性的，借鉴了类型论和数理逻辑的思想，也是实验性的，涉及到语言设计的实现和原型系统的实验开发。 工作的一个主要重点是设计和实现具有面向对象功能的标准ML扩展。类似的语言思想也被考虑用于C++或Java变体或设计或调试工具。任何一种语言的实验评估都可能涉及现有软件的设计或重新设计，以提高其安全性能。这可能涉及到网络服务器，如ftp或http，或者网络脚本语言的解释器。软件生产科学和软件安全都被认为是重要的领域，对安全的日益关注可能会导致对相关软件分析方法的兴趣日益增加。 ***

This project addresses problems in the areas of object- oriented programming languages and software security. The goals are to simplify the structure and process of producing software systems and increase their resistance to certain forms of insecurity. The techniques are both analytical, drawing on ideas from type theory and mathematical logic, and experimental, involving the implementation of language designs and experimental development of prototype systems. One main focus of the work is the design and implementation of an extension of Standard ML with object-oriented features. Similar language ideas are also considered for C++ or Java variants or design or debugging tools. An experimental evaluation of either language may involve design or redesign of existing software in order to improve its security properties. This might involve network servers such as ftp or http, or an interpreter for a network scripting language. Both the science of software production and software security are considered important areas, with increasing concern for security likely to lead to increasing interest in relevant software analysis methods. ***