Pages that link to "Item:Q2866724"
From MaRDI portal
The following pages link to Temporal logics of knowledge and their applications in security (Q2866724):
Displaying 9 items.
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← 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)
- Metareasoning about security protocols using distributed temporal logic (Q2848036) (← links)
- Functional systems in the context of temporal×modal logics with indexed flows (Q3643153) (← links)
- Taming the Complexity of Temporal Epistemic Reasoning (Q3655200) (← links)
- Finite sequent calculi for PLTL (Q5040746) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)
- Two Applications of Epistemic Logic in Computer Security (Q5246113) (← links)