@incollection{Stoller98,
author="Scott D. Stoller",
title="Conference Report: Workshop on Formal Methods and Security Protocols",
editor="Avi Rubin and Paul Syverson",
booktitle="Cipher: Newsletter of the IEEE Computer Society's Technical 
           Committee on Security and Privacy, {\rm Electronic Issue 28}",
month=jul,
year=1998
}