Pages that link to "Item:Q2881088"
From MaRDI portal
The following pages link to Modeling adversaries in a logic for security protocol analysis (Q2881088):
Displaying 9 items.
- A computational interpretation of Dolev-Yao adversaries (Q557888) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- An omniscience-free temporal logic of knowledge for verifying authentication protocols (Q1734134) (← links)
- Models for an adversary-centric protocol logic (Q2841218) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- Programming Languages and Systems (Q5316572) (← links)
- Adversarial logic (Q6109430) (← links)
- An algorithmic impossible-worlds model of belief and knowledge (Q6552269) (← links)