Volume 12; Issue 3-4

Journal of Computer Security

Volume 12; Issue 3-4
1

Types and effects for asymmetric cryptographic protocols

Gordon, Andrew D., Jeffrey, Alan, Schneider, S.
Journal:
Journal of Computer Security
Year:
2004
Language:
english
File:
PDF, 313 KB
english, 2004
2

Probabilistic analysis of an anonymity system

Shmatikov, Vitaly, Schneider, S.
Journal:
Journal of Computer Security
Year:
2004
Language:
english
File:
PDF, 304 KB
english, 2004
3

Defining information flow quantity

Lowe, Gavin, Schneider, S.
Journal:
Journal of Computer Security
Year:
2004
Language:
english
File:
PDF, 237 KB
english, 2004
4

Embedding agents within the intruder to detect parallel attacks

Broadfoot, P.J., Roscoe, A.W., Schneider, S.
Journal:
Journal of Computer Security
Year:
2004
Language:
english
File:
PDF, 312 KB
english, 2004
5

Guest editor's preface

Schneider, Steve, Schneider, S.
Journal:
Journal of Computer Security
Year:
2004
Language:
english
File:
PDF, 33 KB
english, 2004
7

Type-based cryptographic operations*

Duggan, Dominic, Schneider, S.
Journal:
Journal of Computer Security
Year:
2004
Language:
english
File:
PDF, 459 KB
english, 2004
8

Model checking SPKI/SDSI*

Jha, S., Reps, T., Schneider, S.
Journal:
Journal of Computer Security
Year:
2004
File:
PDF, 331 KB
2004