• C
  • CSFW
  • 2000
  • 13th IEEE Computer Security Foundations Workshop (CSFW'00)
Advanced Search 
13th IEEE Computer Security Foundations Workshop (CSFW'00)
Cambridge, England
July 03-July 05
ISBN: 0-7695-0671-2
Table of Contents
Names and Certificates
Strands and Multiset Rewriting
Nancy Durgin, Stanford University
Patrick Lincoln, Stanford University
John Mitchell, Stanford University
Andre Scedrov, Stanford University
Iliano Cervesato, Stanford University
pp. 35
Automated Security Protocol Methods
Anthony H. Dekker, Defense Science and Technology Organization and Australian National University
pp. 77
Panel
Network Security
Pankaj Kakkar, University of Pennsylvania
Carl A. Gunter, University of Pennsylvania
MartÍn Abadi, Lucent Technologies
pp. 118
Invariants, Induction, Ranks, Languages, and Ideals
Noninterference and Information Flow
Andrei Sabelfeld, Chalmers University of Technology and the University of Gothenburg
David Sands, Chalmers University of Technology and the University of Gothenburg
pp. 200
Invited Talk
Java and Mobile Code Security
Types and Language-Based Security
James Heather, University of Leicester
Gavin Lowe, University of Leicester
Steve Schneider, University of Leicester
pp. 255
Usage of this product signifies your acceptance of the Terms of Use.