@inproceedings{KLL4a,
title = {Formal Verification of e-Reputation Protocols },
author = {Kassem, Ali and Lafourcade, Pascal and Lakhnech, Yassine},
year = {2014},
booktitle = {Foundations and Practice of Security - 7th International Symposium, {FPS} 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers},
pages = {247--261},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8930},
team = {RSD, DCS},
}
