The SCEAS System
Navigation Menu

Journals in DBLP

Journal of Computer Security
2005, volume: 13, number: 1

  1. Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
    Relating multiset rewriting and process algebras for security protocol analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:3-47 [Journal]
  2. Chiara Bodei, Pierpaolo Degano, Corrado Priami
    Checking security policies through an enhanced Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:49-85 [Journal]
  3. Michele Bugliesi, Sabina Rossi
    Non-interference proof techniques for the analysis of cryptographic protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:87-113 [Journal]
  4. Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka
    Verifying information flow goals in Security-Enhanced Linux. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:115-134 [Journal]
  5. Ramaswamy Ramanujam, S. P. Suresh
    Decidability of context-explicit security protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:135-165 [Journal]
  6. Vitaly Shmatikov, Carolyn L. Talcott
    Reputation-based trust management. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:1, pp:167-190 [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