4. CCS 1997: Zurich, Switzerland

• Matthew K. Franklin, Michael K. Reiter:
  Fair Exchange with a Semi-Trusted Third Party (extended abstract). 1-5
  
• N. Asokan, Matthias Schunter, Michael Waidner:
  Optimistic Protocols for Fair Exchange. 7-17
  
• Drew Dean:
  The Security of Static Typing with Dynamic Linking. 18-27
  
• Stuart Haber, W. Scott Stornetta:
  Secure Names for Bit-Strings. 28-35
  
• Martín Abadi, Andrew D. Gordon:
  A Calculus for Cryptographic Protocols: The Spi Calculus. 36-47
  
• Fabian Monrose, Aviel D. Rubin:
  Authentication via Keystroke Dynamics. 48-56
  
• Michael K. Reiter, Stuart G. Stubblebine:
  Path Independence for Authentication in Large-Scale Systems. 57-66
  
• Francesco Bergadano, Bruno Crispo, Giancarlo Ruffo:
  Proactive Password Checking with Decision Trees. 67-77
  
• Mihir Bellare, Shafi Goldwasser:
  Verifiable Partial Key Escrow. 78-91
  
• David Pointcheval, Jacques Stern:
  New Blind Signatures Equivalent to Factorization (extended abstract). 92-99
  
• Amir Herzberg, Markus Jakobsson, Stanislaw Jarecki, Hugo Krawczyk, Moti Yung:
  Proactive Public Key and Signature Systems. 100-110
  
• Robert H. Deng, Yongfei Han, Albert B. Jeng, Teow-Hin Ngair:
  A New On-Line Cash Check Scheme. 111-116
  
• John Kelsey, Bruce Schneier:
  Conditional Purchase Orders. 117-124
  
• Simon N. Foley:
  The Specification and Implementation of ``Commercial'' Security Requirements Including Dynamic Segregation of Duties. 125-134
  
• Marc Joye, Jean-Jacques Quisquater:
  On the Importance of Securing Your Bins: The Garbage-man-in-the-middle Attack. 135-141
  
• Jacques Patarin:
  Improved Security Bounds for Pseudorandom Permutations. 142-150
  
• Birgit Pfitzmann, Michael Waidner:
  Asymmetric Fingerprinting for Larger Collusions. 151-160