Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version)

Details Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version)

2007-10-30

arxiv.org/abs/0710.5674v1

Computer Science

Cryptography and Security

Scientific paper

Key substitution vulnerable signature schemes are signature schemes that permit an intruder, given a public verification key and a signed message, to compute a pair of signature and verification keys such that the message appears to be signed with the new signature key. A digital signature scheme is said to be vulnerable to destructive exclusive ownership property (DEO) If it is computationaly feasible for an intruder, given a public verification key and a pair of message and its valid signature relatively to the given public key, to compute a pair of signature and verification keys and a new message such that the given signature appears to be valid for the new message relatively to the new verification key. In this paper, we prove decidability of the insecurity problem of cryptographic protocols where the signature schemes employed in the concrete realisation have this two properties.

Affiliated with

Also associated with

No associations

Rating

Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-365667