Journals in DBLP

Theor. Comput. Sci.
2002, volume: 283, number: 2

1. Roberto Gorrieri
   Editorial. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:283, n:2, pp:269-270 [Journal]
   
2. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
   Primitives for authentication in process algebras. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:283, n:2, pp:271-304 [Journal]
   
3. Ewen Denney, Thomas P. Jensen
   Correctness of Java card method lookup via logical relations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:283, n:2, pp:305-331 [Journal]
   
4. Joshua D. Guttman, F. Javier Thayer
   Authentication tests and the structure of bundles. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:283, n:2, pp:333-380 [Journal]
   
5. Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen
   Validating firewalls using flow logics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:283, n:2, pp:381-418 [Journal]
   
6. Vitaly Shmatikov, John C. Mitchell
   Finite-state analysis of two contract signing protocols. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:283, n:2, pp:419-450 [Journal]