Intruder deduction problem for locally stable theories with normal forms and inverses
type: Item
instance of: scholarly article
title: Intruder deduction problem for locally stable theories with normal forms and inverses
zbMATH Open document ID: 1386.68078
author: Mauricio Ayala-Rincón
author: Maribel Fernández
author: Daniele Nantes-Sobrinho
published in: Theoretical Computer Science
publication date: 2018-02-09T00:00:00Z
full work available at URL: intruder-deduction-problem-for-locally-stable-theories-with-normal-forms-and-inverses(ae64aacc-3f5d-49cf-9674-e5f36cf0247d).html
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68P25
zbMATH DE Number: 6836566
zbMATH Keywords: intruder deduction problem
zbMATH Keywords: associativity
zbMATH Keywords: commutativity
zbMATH Keywords: locally stable theories
zbMATH Keywords: term-rewrite systems
zbMATH Keywords: AC-matching
describes a project that uses: Maude-NPA
describes a project that uses: AVISPA
describes a project that uses: YAPA
describes a project that uses: CiME
MaRDI profile type: Publication
OpenAlex ID: W2589748073
cites work: Deciding knowledge in security protocols under equational theories
cites work: Mobile values, new names, and secure communication
cites work: Computer Aided Verification
cites work: Q4992393
cites work: Unification theory
cites work: YAPA
cites work: Deducibility Constraints, Equational Theory and Electronic Money
cites work: An NP decision procedure for protocol insecurity with XOR
cites work: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
cites work: Efficient solution of linear diophantine equations
cites work: Easy intruder deduction problems with homomorphisms
cites work: On the security of public key protocols
cites work: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
cites work: Q4143385
cites work: Q4198056
cites work: An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations
cites work: Q4447232
cites work: Term Rewriting and Applications
cites work: Automatic recognition of tractability in inference relations
cites work: Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures
cites work: Programming Languages and Systems
cites work: Q4221106
cites work: Q4298260
cites work: A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
cites work: A proof theoretic analysis of intruder theories
DOI: 10.1016/J.TCS.2017.01.027
description: scientific article; zbMATH DE number 6836566