Accession Number:

ADA517052

Title:

Towards a Secure Programming Language. An Access Control System for CommonLisp

Descriptive Note:

Conference paper

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

Report Date:

2009-03-25

Pagination or Media Count:

14.0

Abstract:

Computer security is becoming an increasingly important problem. Although, the problem is often described as one of network security, the core of the problem is the vulnerability of computer hosts. There are many underlying causes of computer vulnerability, but most of them are traceable to an underlying failure of language systems to enforce the semantics of object identify, extent and type. Compounding this failing is the inability of most programming languages to express constraints on information flow and access that would limit the damage due to a penetration. In this paper, we present an access control system for Lisp-like languages that allows precise specification of which actors are allowed to perform what operations on which types of objects. Making these controls non-bypassable in a language as dynamic as Common-lisp is a serious challenge we present techniques based on use of the Meta-Object Protocol MOP that achieve this goal furthermore, we outline how hardware support can provide stronger guarantees within this framework.

Subject Categories:

  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE