@misc{indiciae788bb126c036,
  title = {Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version)},
  author = {Yannick Chevalier and Mounira Kourjieh},
  year = {2007},
  url = {https://arxiv.org/abs/0710.5674},
  note = {Source identifier: 0710.5674}
}