@inproceedings{LDPSBLD17,
  author        = {L. Li and N. Dong and J. Pang and J. Sun and G. Bai and Y. Liu and J.-S. Dong},
  title         = {A verification framework for stateful security protocols},
  booktitle     = {Proc.\ 19th Conference on Formal Engineering Methods (ICFEM'17)},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  year          = {2017},
  volume        = {10610},
  pages         = {262-280}
}