The SCEAS System
Navigation Menu

Journals in DBLP

Journal of Computer Security
1995, volume: 3, number: 1

  1. Riccardo Focardi, Roberto Gorrieri
    A Taxonomy of Security Properties for Process Algebras. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 1995, v:3, n:1, pp:5-34 [Journal]
  2. Jonathan K. Millen
    Unwinding Forward Correctability. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 1995, v:3, n:1, pp:35-54 [Journal]
  3. William R. Bevier, William D. Young
    A State-Machine Approach to Non-Interference. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 1995, v:3, n:1, pp:55-70 [Journal]
  4. Gustavus J. Simmons, Catherine Meadows
    The Role of Trust in Information Integrity Protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 1995, v:3, n:1, pp:71-84 [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