Pages that link to "Item:Q462488"

The following pages link to Deducibility constraints and blind signatures (Q462488):

Displaying 2 items.

• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)