Connecting you to content on EBSCOhost

Works matching IS 16155262 AND DT 2004 AND VI 2 AND IP 3/4

Results: 6

1

Automated analysis of timed security: a case study on web privacy.

Published in:

International Journal of Information Security, 2004, v. 2, n. 3/4, p. 168, doi. 10.1007/s10207-004-0037-9

By:

Gorrieri, Roberto;
Lanotte, Ruggero;
Maggiolo-Schettini, Andrea;
Martinelli, Fabio;
Tini, Simone;
Tronci, Enrico

Publication type:

Article

2

Preface to the special issue on Security in global computing.

Published in:

International Journal of Information Security, 2004, v. 2, n. 3/4, p. 125, doi. 10.1007/s10207-004-0034-z

By:

Priami, Corrado

Publication type:

Article

3

Using ambients to control resources.

Published in:

International Journal of Information Security, 2004, v. 2, n. 3/4, p. 126, doi. 10.1007/s10207-004-0035-y

By:

Teller, David;
Zimmer, Pascal;
Hirschkoff, Daniel

Publication type:

Article

4

A calculus for control flow analysis of security protocols.

Published in:

International Journal of Information Security, 2004, v. 2, n. 3/4, p. 145, doi. 10.1007/s10207-004-0036-x

By:

Buchholtz, Mikael;
Nielson, HanneRiis;
Nielson, Flemming

Publication type:

Article

5

Stack inspection and secure program transformations.

Published in:

International Journal of Information Security, 2004, v. 2, n. 3/4, p. 187, doi. 10.1007/s10207-004-0038-8

By:

Bartoletti, Massimo;
Degano, Pierpaolo;
Ferrari, Gian Luigi

Publication type:

Article

6

Two-party generation of DSA signatures.

Published in:

International Journal of Information Security, 2004, v. 2, n. 3/4, p. 218, doi. 10.1007/s10207-004-0041-0

By:

MacKenzie, Philip;
Reiter, Michael K.

Publication type:

Article