Volume 2, Issue 3-4 | International Journal of Information Security

Search all International Journal of Information Security articles

Volume 2, Issue 3-4

August 2004

Special issue on security in global computing

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Preface to the special issue on Security in global computing
Corrado Priami
Regular contribution 01 August 2004 Pages: 125 - 125
Using ambients to control resources
David Teller
Pascal Zimmer
Daniel Hirschkoff
OriginalPaper 01 August 2004 Pages: 126 - 144
A calculus for control flow analysis of security protocols
Mikael Buchholtz
Hanne Riis Nielson
Flemming Nielson
OriginalPaper 01 August 2004 Pages: 145 - 167
Automated analysis of timed security: a case study on web privacy
Roberto Gorrieri
Ruggero Lanotte
Enrico Tronci
Regular contribution 01 August 2004 Pages: 168 - 186
Stack inspection and secure program transformations
Massimo Bartoletti
Pierpaolo Degano
Gian Luigi Ferrari
Regular contribution 01 August 2004 Pages: 187 - 217
Two-party generation of DSA signatures
Philip MacKenzie
Michael K. Reiter
Regular contribution 01 August 2004 Pages: 218 - 239