Sjouke Mauw, Jorge Toro-Pozo, Rolando Trujillo-Rasua. Optimality Results on the Security of Lookup-Based Protocols. In Gerhard P. Hancke 0002, Konstantinos Markantonakis, editors, Radio Frequency Identification and IoT Security - 12th International Workshop, RFIDSec 2016, Hong Kong, China, November 30 - December 2, 2016, Revised Selected Papers. Volume 10155 of Lecture Notes in Computer Science, pages 137-150, Springer, 2016. [doi]
Abstract is missing.