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 proceedingConference contribution

    108 Downloads (Pure)

    Search results