|
Journals in DBLP
Comput. Lang. 2002, volume: 28, number: 1
- Agostino Cortesi, Riccardo Focardi
Computer languages and security. [Citation Graph (0, 0)][DBLP] Comput. Lang., 2002, v:28, n:1, pp:1-2 [Journal]
- David Clark, Chris Hankin, Sebastian Hunt
Information flow for Algol-like languages. [Citation Graph (0, 0)][DBLP] Comput. Lang., 2002, v:28, n:1, pp:3-28 [Journal]
- Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen
Orderly communication in the Ambient Calculus. [Citation Graph (0, 0)][DBLP] Comput. Lang., 2002, v:28, n:1, pp:29-60 [Journal]
- Michele Bugliesi, Giuseppe Castagna
Behavioural typing for safe ambients. [Citation Graph (0, 0)][DBLP] Comput. Lang., 2002, v:28, n:1, pp:61-99 [Journal]
- Chiara Braghin, Agostino Cortesi, Riccardo Focardi
Security boundaries in mobile ambients. [Citation Graph (0, 0)][DBLP] Comput. Lang., 2002, v:28, n:1, pp:101-127 [Journal]
- Dilsun Kirli Kaynar
Distributed call-tracking for security. [Citation Graph (0, 0)][DBLP] Comput. Lang., 2002, v:28, n:1, pp:129-154 [Journal]
|