Deducibility constraints and blind signatures
type: Item
instance of: scholarly article
title: Deducibility constraints and blind signatures
zbMATH Open document ID: 1360.94298
author: Sergiu Bursuc
author: Hubert Comon-Lundh
author: Stéphanie Delaune
published in: Information and Computation
publication date: 2014-10-20T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 94A62
zbMATH DE Number: 6359037
zbMATH Keywords: formal methods
zbMATH Keywords: verification
zbMATH Keywords: security protocol
zbMATH Keywords: constraint system
MaRDI profile type: Publication
full work available at URL: j.ic.2014.07.006
OpenAlex ID: W2064744018
cites work: Mobile values, new names, and secure communication
cites work: Automated complexity analysis based on ordered resolution
cites work: Deducibility Constraints
cites work: Blind Signature System
cites work: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
cites work: Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures
cites work: Equational problems and disunification
cites work: Deciding security properties for cryptographic protocols. application to key cycles
cites work: Symbolic protocol analysis for monoidal equational theories
cites work: A practical secret voting scheme for large scale elections
cites work: Programming Languages and Systems
cites work: Automatic recognition of tractability in inference relations
cites work: Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
cites work: A proof theoretic analysis of intruder theories
DOI: 10.1016/J.IC.2014.07.006
Recommended article: Q4536269
Recommended article: Q3043930
Recommended article: A Provably Secure Blind Signature Scheme
Recommended article: Q4536807
Recommended article: Q4365762
Recommended article: A Short Paper on Blind Signatures from Knowledge Assumptions
Recommended article: Unconditionally Secure Blind Signatures
Recommended article: Q4365729
Recommended article: Q5399008
description: scientific article; zbMATH DE number 6359037