Volume 283; Issue 2

Theoretical Computer Science

Volume 283; Issue 2
1

Editorial

Roberto Gorrieri
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 37 KB
english, 2002
2

Primitives for authentication in process algebras

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 260 KB
english, 2002
3

Correctness of Java card method lookup via logical relations

Ewen Denney, Thomas Jensen
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 183 KB
english, 2002
4

Authentication tests and the structure of bundles

Joshua D. Guttman, F.Javier Thayer
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 389 KB
english, 2002
5

Validating firewalls using flow logics

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 282 KB
english, 2002
6

Finite-state analysis of two contract signing protocols

Vitaly Shmatikov, John C. Mitchell
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 189 KB
english, 2002
7

Author index

Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 47 KB
english, 2002