A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
type: Item
instance of: scholarly article
title: A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
zbMATH Open document ID: 1153.94375
author: Santiago Escobar
author: Catherine Meadows
author: José Meseguer
published in: Theoretical Computer Science
publication date: 2007-01-09T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 94A62
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5083538
describes a project that uses: NRL
describes a project that uses: Maude
describes a project that uses: OFMC
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.08.035
OpenAlex ID: W2058459987
Wikidata QID: Q124982710
cites work: Unification theory
cites work: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
cites work: An NP decision procedure for protocol insecurity with XOR
cites work: Maude: specification and programming in rewriting logic
cites work: On the security of public key protocols
cites work: Q2723425
cites work: Q3883561
cites work: Matching, unification and complexity
cites work: The NRL Protocol Analyzer: An Overview
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3839051
cites work: Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
cites work: Using encryption for authentication in large networks of computers
cites work: Q4799892
cites work: Q4263167
DOI: 10.1016/J.TCS.2006.08.035
description: scientific article; zbMATH DE number 5083538