@misc{indiciae253ccadd7856, title = {Modelling Agent-Skipping Attacks in Message Forwarding Protocols}, author = {Zach Smith and Hugo Jonker and Sjouke Mauw and Hyunwoo Lee}, year = {2022}, url = {https://arxiv.org/abs/2201.08686}, note = {Source identifier: 2201.08686} }