A Formal Model for Credential Hopping Attacks.

Massimiliano Albanese, Karin Johnsgard, Vipin Swarup

Browse the full ESORICS paper archive.