Pages that link to "Item:Q557806"

The following pages link to A method for symbolic analysis of security protocols (Q557806):

Displaying 2 items.

• A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
• A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← links)