The Hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
type: Item
instance of: scholarly article
title: The Hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
DOI: 10.1007/978-3-030-62077-6_10
author: Vincent Cheval
author: Steve Kremer
author: Itsaka Rakotonirina
publication date: 2021-07-08T00:00:00Z
full work available at URL: main.pdf
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7370024
zbMATH Keywords: formal verification
zbMATH Keywords: cryptographic protocols
zbMATH Keywords: complexity
MaRDI profile type: Publication
OpenAlex ID: W3096621201
description: scientific article; zbMATH DE number 7370024