Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus.

Clment Aubert, Ross Horne, Christian Johansen

Browse the full CONCUR paper archive.