Journals in DBLP

Int. J. Inf. Sec.
2005, volume: 4, number: 1-2

1. Serge Autexier, Iliano Cervesato, Heiko Mantel
   Preface to the special issue of selected papers from FCS/VERIFY 2002. [Citation Graph (0, 0)][DBLP]
   Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:1- [Journal]
   
2. Jay Ligatti, Lujo Bauer, David Walker
   Edit automata: enforcement mechanisms for run-time security policies. [Citation Graph (0, 0)][DBLP]
   Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:2-16 [Journal]
   
3. Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson
   An overview of the verification of SET. [Citation Graph (0, 0)][DBLP]
   Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:17-28 [Journal]
   
4. Joshua D. Guttman, Amy L. Herzog
   Rigorous automated network security management. [Citation Graph (0, 0)][DBLP]
   Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:29-48 [Journal]
   
5. Ralf Küsters
   On the decidability of cryptographic protocols with open-ended data structures. [Citation Graph (0, 0)][DBLP]
   Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:49-70 [Journal]
   
6. Kong-wei Lye, Jeannette M. Wing
   Game strategies in network security. [Citation Graph (0, 0)][DBLP]
   Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:71-86 [Journal]
   
7. Christian Skalka, Scott F. Smith
   Static use-based object confinement. [Citation Graph (0, 0)][DBLP]
   Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:87-104 [Journal]
   
8. Kyung-suk Lhee, Steve J. Chapin
   Detection of file-based race conditions. [Citation Graph (0, 0)][DBLP]
   Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:105-119 [Journal]
   
9. Yun Bai, Yan Zhang, Vijay Varadharajan
   On the sequence of authorization policy transformations. [Citation Graph (0, 0)][DBLP]
   Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:120-131 [Journal]