On the symbolic reduction of processes with cryptographic functions.
type: Item
instance of: scholarly article
title: On the symbolic reduction of processes with cryptographic functions.
zbMATH Open document ID: 1051.68054
DOI: 10.1016/S0304-3975(02)00090-7
author: Roberto M. Amadio
author: D. Lugiez
author: Vincent Vanackère
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 68P25
zbMATH DE Number: 1857129
zbMATH Keywords: Cryptographic protocols
zbMATH Keywords: Verification
zbMATH Keywords: Symbolic computation
MaRDI profile type: Publication
cites work: Q4484507
cites work: Q4536615
cites work: Q4501570
cites work: Q4536407
cites work: Proof techniques for cryptographic processes
cites work: A logic of authentication
cites work: Regular canonical systems
cites work: On the regular structure of prefix rewriting
cites work: Q3673105
cites work: Q4535056
cites work: On the security of public key protocols
cites work: On the security of ping-pong protocols
cites work: Q4418589
cites work: Q3862379
cites work: Q2767013
cites work: Q4494379
cites work: Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
cites work: Q4263167
description: scientific article; zbMATH DE number 1857129