@inproceedings{KLL+13,
title = {Multiple Independent Lazy Intruders },
author = {Kassem, Ali and Lafourcade, Pascal and Lakhnech, Yassine and \"odersheim, Sebastian M},
year = {2013},
booktitle = {1st Workshop on Hot Issues in Security Principles and Trust (HotSpot 2013)},
team = {DCS},
}