User Tools

Site Tools


Implementing a Unification Algorithm for Protocol Analysis with XOR (BibTeX)

@INPROCEEDINGS{TuengerthalKuestersTuruani-UNIF-2006,
  author = {Max Tuengerthal and Ralf K{\"u}sters and Mathieu Turuani},
  title = {{Implementing a Unification Algorithm for Protocol Analysis with XOR}},
  booktitle = {20th International Workshop on Unification (UNIF 2006)},
  year = 2006
}