@misc{indiciaed515e03714f2,
  title = {A Hybrid Analysis for Security Protocols with State},
  author = {John D. Ramsdell and Daniel J. Dougherty and Joshua D. Guttman and Paul D. Rowe},
  year = {2014},
  url = {https://arxiv.org/abs/1404.3899},
  note = {Source identifier: 1404.3899}
}