@inproceedings{BUT91189,
  author="Petr {Hanáček}",
  booktitle="Security 2007",
  year="2007",
  pages="18--22",
  address="Praha"
}