Object Systems: Programming Languages and Software Security

对象系统：编程语言和软件安全

• 批准号: 9629754
• 负责人: John Mitchell
• 金额: $ 23.97万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1996
• 资助国家: 美国
• 起止时间: 1996-09-15 至 2001-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9629754&HistoricalAwards=false
• 关键词: Object; Systems; Programming; Languages; Software

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

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