Pages that link to "Item:Q607405"
From MaRDI portal
The following pages link to A game-theoretic framework for specification and verification of cryptographic protocols (Q607405):
Displaying 4 items.
- The layered games framework for specifications and analysis of security protocols (Q1001686) (← links)
- A Note on Game Theory and Verification (Q3297580) (← links)
- A Calculus for Game-Based Security Proofs (Q4933210) (← links)
- Game-Theoretic Analysis of an Incentivized Verifiable Computation System (Q6166529) (← links)