@inproceedings{MTT16b, author = {Sjouke Mauw and Jorge Toro{-}Pozo and Rolando Trujillo{-}Rasua}, title = {Optimality Results on the Security of Lookup-Based Protocols}, booktitle = {Radio Frequency Identification and IoT Security - 12th International Workshop, RFIDSec 2016, Hong Kong, China, November 30 - December 2, 2016, Revised Selected Papers}, pages = {137--150}, year = {2016}, doi = {10.1007/978-3-319-62024-4_10} }