@InProceedings{	  huisman.ea:checking:2004,
  author	= {Marieke Huisman and Dilian Gurov and Christoph Sprenger
		  and Gennady Chugunov},
  booktitle	= {FASE 04},
  language	= {USenglish},
  note		= {Winner of the EASST award for Best Software Science
		  Paper},
  pages		= {84--98},
  ps		= {papers/2004/fase04.ps.gz},
  publisher	= {Springer},
  title		= {Checking Abscence of Illicit Applet Interactions: A Case
		  Study},
  year		= 2004,
  user		= {csprenge}
}