Pages that link to "Item:Q860906"
From MaRDI portal
The following pages link to A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties (Q860906):
Displayed 8 items.
- Complete symbolic reachability analysis using back-and-forth narrowing (Q860885) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- Effectively Checking the Finite Variant Property (Q3522010) (← links)
- A Modular Equational Generalization Algorithm (Q3617428) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)
- Termination of Narrowing Using Dependency Pairs (Q5504664) (← links)