Formal Security Analysis with Interacting State Machines.

David von Oheimb, Volkmar Lotz

Browse the full ESORICS paper archive.