Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment.

Omar Saad Almousa, Sebastian Mdersheim, Paolo Modesti, Luca Vigan

Browse the full ESORICS paper archive.