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. ***