Journals in DBLP

Operating Systems Review
1999, volume: 33, number: 4

1. William E. Weihl
   Message from the Chair. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1999, v:33, n:4, pp:1- [Journal]
   
2. Mahadev Satyanarayanan
   Digest of Proceedings, Seveth IEEE Workshop on Hot Topics in Operating Systems, March 29-30, 1999, Rio Rico, AZ. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1999, v:33, n:4, pp:4-21 [Journal]
   
3. Danai Patiyoot, S. J. Shepherd
   Security Issues in ATM Networks. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1999, v:33, n:4, pp:22-35 [Journal]
   
4. Danai Patiyoot, S. J. Shepherd
   WASS: A Security Services for Wireless ATM Networks. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1999, v:33, n:4, pp:36-41 [Journal]
   
5. John A. Bull, David J. Otway
   A Nested Mutual Authentication Protocol. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1999, v:33, n:4, pp:42-47 [Journal]
   
6. Yuqing Zhang, Jihong Li, Guozhen Xiao
   An Approach to the Formal Verification of the Two-Party Crypographic Protocols. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1999, v:33, n:4, pp:48-51 [Journal]
   
7. Dan G. Waddington, David Hutchison
   Resource Partitioning in General Purpose Operating Systems - Experimental Results in Windows NT. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1999, v:33, n:4, pp:52-74 [Journal]
   
8. Christian Toinard, Gerard Florin, C. Carrez
   A Formal Method to Prove Ordering Properties of Multicast Systems. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1999, v:33, n:4, pp:75-89 [Journal]
   
9. Carlos Baquero, Francisco Moura
   Using Structural Characteristics for Autonomous Operation. [Citation Graph (0, 0)][DBLP]
   Operating Systems Review, 1999, v:33, n:4, pp:90-96 [Journal]