@Inproceedings{EPTCS7.2, author = {Del Tedesco, Filippo and Sands, David}, year = {2009}, title = {A User Model for Information Erasure}, editor = {Boreale, Michele and Kremer, Steve}, booktitle = {{\rm Proceedings 7th International Workshop on} Security Issues in Concurrency, {\rm Bologna, Italy, 5th September 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {7}, publisher = {Open Publishing Association}, pages = {16-30}, doi = {10.4204/EPTCS.7.2}, }