Pages that link to "Item:Q2841219"
From MaRDI portal
The following pages link to Information based reasoning about security protocols (Q2841219):
Displaying 9 items.
- Bounding messages for free in security protocols -- extension to various security properties (Q476179) (← links)
- A method for symbolic analysis of security protocols (Q557806) (← links)
- A (restricted) quantifier elimination for security protocols (Q860909) (← links)
- Invariant-based reasoning about parameterized security protocols (Q2268473) (← links)
- Towards an awareness-based semantics for security protocol analysis (Q2841215) (← links)
- Toward reasoning about security protocols: a semantic approach (Q2848069) (← links)
- Combining Algorithms for Deciding Knowledge in Security Protocols (Q3525004) (← links)
- (Q4813479) (← links)
- Theory and Applications of Satisfiability Testing (Q5325866) (← links)