Hostname: page-component-cb9f654ff-hqlzj Total loading time: 0 Render date: 2025-08-25T03:29:58.593Z Has data issue: false hasContentIssue false
  • English
  • Français

“Language-Based Security”

Published online by Cambridge University Press:  03 March 2005

MARTÍN ABADI ,
GREG MORRISETT  and
ANDREI SABELFELD
MARTÍN ABADI
Affiliation:
Computer Science Department, University of California at Santa Cruz, Santa Cruz, CA 95064, USA
GREG MORRISETT
Affiliation:
Electrical Engineering and Computer Science, Harvard University, Cambridge, MA 02138, USA (email: greg@eecs.harvard.edu)
ANDREI SABELFELD
Affiliation:
Department of Computer Science, Chalmers University of Technology, 41296 Gothenburg, Sweden
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Concepts and techniques from modern programming languages have much to offer to the security of computer systems. This special issue is devoted to research on those concepts and techniques. Over 60 active researchers working in this area were invited to contribute. In particular, a number of the participants of the Dagstuhl Seminar on Language-Based Security were encouraged to submit. Submitted articles were reviewed by 3–4 referees. As a result of the reviewing process, five articles were selected for inclusion in the special issue.

Information

Type
Research Article
Information
Journal of Functional Programming , Volume 15 , Issue 2 , March 2005 , pp. 129
Copyright
2005 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.