POR for Security Protocol Equivalences - Beyond Action-Determinism.

David Baelde, Stphanie Delaune, Lucca Hirschi

Browse the full ESORICS paper archive.