2010
DOI: 10.1007/978-3-642-13824-9_18
|View full text |Cite
|
Sign up to set email alerts
|

Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures

Abstract: Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational theory implemented as a convergent rewriting system which involves rules for addition, multiplication and exponentiation. The whole deductive power of the intruder is modeled as a sequent calculus that, modulo this rewriting system, deals with blind signatures. It is proved that the associative-commutative (AC) equality of the algeb… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
4
0

Year Published

2013
2013
2013
2013

Publication Types

Select...
1

Relationship

1
0

Authors

Journals

citations
Cited by 1 publication
(4 citation statements)
references
References 9 publications
0
4
0
Order By: Relevance
“…By combining the techniques in [29] and [13], the IDP formulation for an Electronic Purse Protocol with blind signatures was proved to reduce in polynomial time to EDP for an AC-convergent theory containing three different AC operators and rules for exponentiation [26], extending the previous results. However, no algorithm was provided to decide EDP.…”
mentioning
confidence: 53%
See 3 more Smart Citations
“…By combining the techniques in [29] and [13], the IDP formulation for an Electronic Purse Protocol with blind signatures was proved to reduce in polynomial time to EDP for an AC-convergent theory containing three different AC operators and rules for exponentiation [26], extending the previous results. However, no algorithm was provided to decide EDP.…”
mentioning
confidence: 53%
“…The rule (acut), called analytic cut is necessary to prove cut rule admissibility. A complete proof can be found in [26,29].…”
Section: Extending the Edp To Model Blind Signaturesmentioning
confidence: 99%
See 2 more Smart Citations