Computer Security â€" ESORICS 2013 - Crampton (Springer Berlin Heidelberg, 2013)