Simon Kramer. Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography. Journal of Logic and Algebraic Programming, 77(1-2):60-91, 2008. [doi]
@article{Kramer08:1, title = {Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography}, author = {Simon Kramer}, year = {2008}, doi = {10.1016/j.jlap.2008.05.005}, url = {http://dx.doi.org/10.1016/j.jlap.2008.05.005}, tags = {protocol, logic}, researchr = {https://researchr.org/publication/Kramer08%3A1}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {77}, number = {1-2}, pages = {60-91}, }