Pages that link to "Item:Q880981"
From MaRDI portal
The following pages link to Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981):
Displayed 6 items.
- Complete symbolic reachability analysis using back-and-forth narrowing (Q860885) (← links)
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties (Q860906) (← links)
- On the relationships between models in protocol verification (Q2482448) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- Effectively Checking the Finite Variant Property (Q3522010) (← links)
- Termination of Narrowing Using Dependency Pairs (Q5504664) (← links)