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

Omar Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

165 Downloads (Pure)