Journal of Functional Programming

Table of Contents - 2005 - Volume 15, Issue 02  



Special Issue on Language Based Security

“Language-Based Security”

MARTÍN ABADI a1, GREG MORRISETT a2 and ANDREI SABELFELD a3
a1 Computer Science Department, University of California at Santa Cruz, Santa Cruz, CA 95064, USA
a2 Electrical Engineering and Computer Science, Harvard University, Cambridge, MA 02138, USA (email: greg@eecs.harvard.edu)
a3 Department of Computer Science, Chalmers University of Technology, 41296 Gothenburg, Sweden

Article author query
abadi m   [Google Scholar] 
morrisett g   [Google Scholar] 
sabelfeld a   [Google Scholar] 
 

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.

(Published Online March 3 2005)


--