A method for symbolic analysis of security protocols
type: Item
instance of: scholarly article
title: A method for symbolic analysis of security protocols
zbMATH Open document ID: 1068.94009
author: Michele Boreale
author: Maria Grazia Buscemi
published in: Theoretical Computer Science
publication date: 2005-06-30T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2184045
zbMATH Keywords: Security protocol analysis
zbMATH Keywords: Symbolic techniques
zbMATH Keywords: Process calculi
Wikidata QID: Q115036561
MaRDI profile type: Publication
full work available at URL: j.tcs.2005.03.044
OpenAlex ID: W2077875077
cites work: Mobile values, new names, and secure communication
cites work: Q4536615
cites work: On the symbolic reduction of processes with cryptographic functions.
cites work: Q4501570
cites work: Q4417856
cites work: Q4535055
cites work: Q4484506
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: Q4535056
cites work: Q4447230
cites work: On the security of public key protocols
cites work: Q4418589
cites work: On the Security of Ping-Pong Protocols
cites work: Q3339245
cites work: Q4718481
cites work: Information based reasoning about security protocols
cites work: Q4942029
cites work: Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
cites work: Programming Languages and Systems
DOI: 10.1016/J.TCS.2005.03.044
description: scientific article; zbMATH DE number 2184045