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
}