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