Electronic Notes in Theoretical Computer Science, Volume 32

Volume 32, 2000

Workshop on secure architectures and information flow
Royal Holloway, University of London, December 1-3, 1999
maintained by Schloss Dagstuhl LZI at University of Trier