Volume 15; Issue 2

Journal of Functional Programming

Volume 15; Issue 2
1

“Language-Based Security”

ABADI, MARTÍN, MORRISETT, GREG, SABELFELD, ANDREI
Journal:
Journal of Functional Programming
Year:
2005
Language:
english
File:
PDF, 33 KB
english, 2005
3

Stack-based access control and secure information flow

BANERJEE, ANINDYA, NAUMANN, DAVID A.
Journal:
Journal of Functional Programming
Year:
2005
Language:
english
File:
PDF, 358 KB
english, 2005
4

Interfaces for stack inspection

BESSON, FRÉDÉRIC, DE GRENIER DE LATOUR, THOMAS, JENSEN, THOMAS
Journal:
Journal of Functional Programming
Year:
2005
Language:
english
File:
PDF, 315 KB
english, 2005
6

Noninterference through flow analysis

HONDA, KOHEI, YOSHIDA, NOBUKO
Journal:
Journal of Functional Programming
Year:
2005
Language:
english
File:
PDF, 450 KB
english, 2005