The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 121, number:

  1. Nadia Busi, Roberto Gorrieri, Fabio Martinelli
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:1-2 [Journal]
  2. Wil M. P. van der Aalst, Ana Karla A. de Medeiros
    Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:3-21 [Journal]
  3. Giacomo Baldi, Andrea Bracciali, Gian Luigi Ferrari, Emilio Tuosto
    A Coordination-based Methodology for Security Protocol Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:23-46 [Journal]
  4. Ricardo Corin, Jeroen Doumen, Sandro Etalle
    Analysing Password Protocol Security Against Off-line Dictionary Attacks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:47-63 [Journal]
  5. Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami
    A Quantitative Study of Two Attacks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:65-85 [Journal]
  6. John Bigham, Xuan Jin, David Gamez, Chris I. Phillips
    Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:87-99 [Journal]
  7. Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan
    Modelling Opacity Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:101-115 [Journal]
  8. Romain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri
    A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:117-142 [Journal]
  9. Federico Crazzolara, Glynn Winskel
    Petri Nets With Persistence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:121, n:, pp:143-155 [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