Language-Based Security

Journal of Functional Programming

Volumn 15, Issue 2, 2005, Pages 129-

  Abadi, Martín ^a   Morrisett, Greg ^b   Sabelfeld, Andrei ^c  

^a University of California Santa Cruz   (United States)

^b HARVARD UNIVERSITY   (United States)

^c CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

LANGUAGE-BASED SECURITY; MODERN PROGRAMMING LANGUAGES; RESEARCHERS;

COMPUTER SIMULATION; COMPUTER SYSTEM FIREWALLS; COMPUTER SYSTEMS PROGRAMMING; DATA PRIVACY; SECURITY OF DATA;

COMPUTER PROGRAMMING LANGUAGES;

EID: 17044384142     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796804005428     Document Type: Article

References (1)

1. Dagstuhl Seminar on Language-Based Security Schloss, Dagstuhl, Germany, October 5-10, 2003. URL: http://www.dagstuhl.de/03411/