• unification modulo homomorphic encryption

    کلمات کلیدی :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 744
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
     encryption ‘distributing over pairs’ is a technique employed in several cryptographic protocols. we show that unification is decidable for an equational theory he specifying such an encryption. the method consists in transforming any given problem in such a way, that the resulting problem can be solved by combining a graph-based reasoning on its equations involving the homomorphisms, with a syntactic reasoning on its pairings. we show he-unification to be np_hard and in exptime. we also indicate, briefly, how to extend he-unification to cap unification modulo he, that can be used as a tool for modeling and analyzing cryptographic protocols where encryption follows the ecb mode, i.e., is done block-wise on messages.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم