Ausgabe 3-4/2004
Special issue on security in global computing
Inhalt (6 Artikel)
A calculus for control flow analysis of security protocols
Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson
Regular contribution
Automated analysis of timed security: a case study on web privacy
Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
Regular contribution
Stack inspection and secure program transformations
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari