Pages that link to "Item:Q625717"
From MaRDI portal
The following pages link to To know or not to know: Epistemic approaches to security protocol verification (Q625717):
Displaying 12 items.
- Probability timed automata for investigating communication processes (Q747506) (← links)
- Knowledge structure approach to verification of authentication protocols (Q866176) (← links)
- An omniscience-free temporal logic of knowledge for verifying authentication protocols (Q1734134) (← links)
- Endogenizing epistemic actions (Q2062216) (← links)
- Towards an awareness-based semantics for security protocol analysis (Q2841215) (← links)
- Toward reasoning about security protocols: a semantic approach (Q2848069) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- Deciding knowledge in security protocols under some e-voting theories (Q3095038) (← links)
- (Q3384076) (← links)
- Computing Knowledge in Security Protocols under Convergent Equational Theories (Q5191113) (← links)
- Two Applications of Epistemic Logic in Computer Security (Q5246113) (← links)
- Automata, Languages and Programming (Q5466517) (← links)