The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 168, number:

  1. Maurice H. ter Beek, Fabio Gadducci
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:1-3 [Journal]
  2. Sjouke Mauw, Jan Verschuren, Erik P. de Vink
    Data Anonymity in the FOO Voting Scheme. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:5-28 [Journal]
  3. Fabio Martinelli, Ilaria Matteucci
    An Approach for the Specification, Verification and Synthesis of Secure Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:29-43 [Journal]
  4. Agustina Buccella, Alejandra Cechich
    Towards Integration of Geographic Information Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:45-59 [Journal]
  5. Ron van der Meyden, Chenyi Zhang
    Algorithmic Verification of Noninterference Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:61-75 [Journal]
  6. Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione
    Architecting Fault-tolerant Component-based Systems: from requirements to testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:77-90 [Journal]
  7. Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
    Cryptographic Pattern Matching. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:91-107 [Journal]
  8. Aneta Zwierko, Zbigniew Kotulski
    A Light-Weight e-Voting System with Distributed Trust. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:109-126 [Journal]
  9. Ernesto Damiani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati
    Selective Data Encryption in Outsourced Dynamic Environments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:127-142 [Journal]
  10. Jan Peters, Roland Rieke, Taufiq Rochaeli, Björn Steinemann, Ruben Wolf
    A Holistic Approach to Security Policies - Policy Distribution with XACML over COPS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:143-157 [Journal]
  11. Jan van Eijck, Simona Orzan
    Epistemic Verification of Anonymity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:159-174 [Journal]
  12. Abdessamad Imine
    Component-Based Specification of Collaborative Objects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:175-190 [Journal]
  13. Fabio Martinelli, Marinella Petrocchi
    On Relating and Integrating Two Trust Management Frameworks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:191-205 [Journal]
  14. Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene
    Augmented Risk Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:207-220 [Journal]
  15. M. A. C. Dekker, Sandro Etalle
    Audit-Based Access Control for Electronic Health Records. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:168, n:, pp:221-236 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002