Kenneth Radke, Colin Boyd. Security Proofs for Protocols Involving Humans. Comput. J., 60(4):527-540, 2017. [doi]
@article{RadkeB17, title = {Security Proofs for Protocols Involving Humans}, author = {Kenneth Radke and Colin Boyd}, year = {2017}, doi = {10.1093/comjnl/bxw066}, url = {https://doi.org/10.1093/comjnl/bxw066}, researchr = {https://researchr.org/publication/RadkeB17}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {60}, number = {4}, pages = {527-540}, }