Disabling equational theories in unification for cryptographic protocol analysis through tagging

Details Disabling equational theories in unification for cryptographic protocol analysis through tagging Disabling equational theories in unification for cryptographic protocol analysis through tagging

2010-03-28

arxiv.org/abs/1003.5406v2

Computer Science

Cryptography and Security

8 pages, submitted for publication

Scientific paper

In this paper, we show a new tagging scheme for cryptographic protocol messages. Under this tagging, equational theories of operators such as exclusive-or, binary addition etc. are effectively disabled, when terms are unified. We believe that this result has a significant impact on protocol analysis and security, since unification is at the heart of symbolic protocol analysis. Hence, disabling equational theories in unification implies disabling them altogether in protocol analysis for most operators and theories.

Affiliated with

Also associated with

No associations

Rating

Disabling equational theories in unification for cryptographic protocol analysis through tagging 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 Disabling equational theories in unification for cryptographic protocol analysis through tagging, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Disabling equational theories in unification for cryptographic protocol analysis through tagging will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-498909