-
unification modulo homomorphic encryption
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 767
- تعداد پرسش و پاسخ ها: 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.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
بررسی رفتار ساختمان های بتن آرمه بهسازی شده با دیوارهای برشی آلومینیومی
-
ارزیابی درجه تراکم دانه بندی گسسته و پیوسته سنگدانه ها در حالت دو بعدی
-
بررسی طراحی بهینه و عملکرد لرزه ای میراگرهای ویسکوز الحاقی در نواحی زلزله خیز
-
طرح دعاوی خصوصی از نظر ضمان قهری و ضررو زیان وارد در دادگاه های عمومی
-
بررسی نحوه طراحی و رتبه بندی سایت در سامانه leed و breeam و امکان سنجی آن با مقررات ملی ساختمان در ایران
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
نقش صله رحم در سلامت جسمی و روحی خانواده با تمرکز بر گزاره های اسلامی
-
بررسی تاثیر یارانه سفر بر توسعه گردشگری؛ مطالعه موردی: گردشگران شهر مشهد مقدس
-
evaluate the use of recycled asphalt pavement (rap) in the construction of roller compacted concret pavement (rcc)
-
the transformation of aesthetics in architecture from traditional to modern architecture: a case study of the yoruba (southwestern) region of nigeria
-
exploring in silico drug design and pharmacokinetics study for identification of potent antidepressant agents
سوال خود را در مورد این مقاله مطرح نمایید :