Special issue of selected papers from FCS/VERIFY 2002<pre>@proceedings{ACM-05-a,
  editor        = {Serge Autexier, Iliano Cervesato, Heiko Mantel},
  booktitle     = {International Journal of Information Security},
  title         = {Special issue of selected papers from FCS/VERIFY 2002},
  volume        = {4},
  number        = {1-2},
  publisher     = {Springer},
  pages         = {1},
  month         = {february},
  year          = {2005},
}
</pre>