Pages that link to "Item:Q462488"
From MaRDI portal
The following pages link to Deducibility constraints and blind signatures (Q462488):
Displaying 4 items.
- Intruder deducibility constraints with negation. Decidability and application to secured service compositions (Q507348) (← links)
- Confined guessing: new signatures from standard assumptions (Q2018822) (← links)
- 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)