Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2003, volume: 85, number: 3

1. Alessandro Aldini
   Coordination Model and Noninterference. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
   
2. Antonio Brogi, Carlos Canal, Ernesto Pimentel
   Soft component adaptation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
   
3. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
   A formal approach for checking security properties in SecSpaces. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
   
4. Lavinia Egidi, Giovanni Porcelli
   Minimal Information Disclosure in a Centralized Authorization System. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
   
5. Riccardo Focardi, Gianluigi Zavattaro
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
   
6. Radu Handorean, Gruia-Catalin Roman
   Secure Sharing of Tuple Spaces in Ad Hoc Settings. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
   
7. Rene Mayrhofer, Florian Ortner, Alois Ferscha, Manfred Hechinger
   Securing Passive Objects in Mobile Ad-Hoc Peer-to-Peer Networks. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
   
8. Per Mellstrand, Rune Gustavsson
   Safe Execution of Unreliable Software. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
   
9. Andrea Omicini, Alessandro Ricci, Mirko Viroli
   Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]